85 billion U.S. GDP