(17) Näistä hän teki seitsemänkymmentä tuhatta taakankantajiksi, kahdeksankymmentä tuhatta kivenhakkaajiksi vuoristoon ja kolmetuhatta kuusisataa työnjohtajiksi, joiden oli pidettävä väki työssä.