1.舊時對礦工的稱呼。