$51.5 billion