bergsmännens antal , som nu utgör 17 , då för tiden uppgick till nära 600 , såatt