.25 percent of 3800000000000 = 9500000000