1.旧时对矿工的称呼。