pojkar i en ålder upp till 17 år och fabriksarbetare , men inga bergsmän.