Рабочий день шахтера