$400 billion is bigger than the GDP of the Czech Republic.