Which is the product of 3.5 and 10?