#US$7.1 billion