40 billion