25 percent of 4.8 trillion = 1.2