US$40 billion