What number is 40% of 37.5?