Han tok ut sytti tusen mann til bærere og åtti tusen til stenhuggere på fjellene og tre tusen og seks hundre til opsynsmenn over dem.