5.27 percent of 80000 = 4216