0.25 percent of 9000000 = 22500