Af dessa voro 8,439 grufarbetare.