10% of 25000 is what number?