US$7.4 billion