Over $80 trillion.