Av dem gjorde han sytti tusen til bærere og åtti tusen til stenhuggere på fjellene og tre tusen og seks hundre til opsynsmenn, som skulde holde folket til arbeid.