25 percent of 3.8 trillion = 0.95