7,000 timmermän för att komma till timmars arbetsdag.