That’s roughly 10% of China’s annual national GDP. Doesn’t seem like a big deal yet.