US$6.4 trillion