US$5.5 trillion