80% of what number is 12?