US$ 17 billion