$13.9 billion