25 percent of 31,700,000,000 = 7.75