gårdagen 17,600 grufarbetare arbetet.