Actually, it's estimated that about a quarter of mining is in China. The largest players moved, the rest are lying low, so it's hard to get exact numbers.