What is 20% of 800, if 10% of 800 is 80?