12% of 72 is what number ?