What is 25% of 40?