uppgår de strejkandes antal till öfver 15 , 000.