Title: Hours of work in coal mines