omkring 25,000 man och omkring 3,000 grufvor.