US$10.7 billion