40% of what is 12?