$80.4 billion