17.5 percent of 7,888,000,000 = 1.2249999999999999