$12.7 billion