0.25 percent of 7000000000 = 17500000