80% of what number is 64?