Och han gjorde af dem sjutiotusend dragare, och åttatiotusend huggare på bergena, och tretusend och sexhundrad befallningsmän, som folket vid arbetet höllo.