Forty is 25% of what number?