Hij liet zeventigduizend lastdragers in dienst nemen, tachtigduizend steenhouwers in het gebergte, en zesendertighonderd opzichters.