dockarbetarnes antal uppgär till minst 7 , 000.