Αγγάρεψε, λοιπόν, εβδομήντα χιλιάδες άντρες αχθοφόρους και ογδόντα χιλιάδες εργάτες για να βγάζουν πέτρα από το βουνό και τρεις χιλιάδες εξακόσιους επόπτες.