öfver halfva antalet arbetare , uppgående till bortemot 9 , 000.