35 percent of 5.1 trillion = 1785000000000