arbetarnes antal 7,139 och wärdet 5 , 478 , 146 kr.