twenty percent of 80 is what number ​