$9.3 billion