5.3 percent of 80000 = 4240