25 percent of 17,250,000,000 = 4.25