En hij maakte zeventigduizend van hen tot lastdragers en tachtigduizend tot steenhouwers in het gebergte en drieduizend zeshonderd tot opzichters, om het volk aan het werk te zetten.