US 40 billion