US$7 billion