80 is 25 percent of what number