Working hours of tippers and trimmers: third shift