En hij maakte van hen zeventigduizend lastdragers, tachtigduizend steenhouwers in het bergland en zesendertighonderd opzichters om het volk te laten dienen.