25 percent of 3.4 trillion = 0.85