25 percent of 4.05 trillion = 1.01