annat , att arbetstiden skall nedsättas från 12 till 10 timmar;