US$7.2 billion