US$535 billion