$88 billion