40% percent of 6.27 trillion = 2.51