$38.5 billion