40 percent of 3.12 trillion = 1.25