$11.2 trillion