20 percent of 6.3 trillion = 1260000000000