坑道和礦井。