Från Rilpedia

18: 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ä.