25 percent of 15,000,000,000 = 3.75