88 billion as of June 2