$7.25 trillion