$142 billion