25 percent of 4 trillion = 1000000000000