12 is what percent of 80