Usage of the character 硐 tóng 硐 [硐] grind dòng 硐 [硐] variant of 洞 (dòng) cave pit dòngshì 硐室 [硐室] chamber (mining)