What is 37.5 divided by 2.5?