kon hij beschikken over zeventigduizend lastdragers, tachtigduizend steenhouwers, en zes en dertighonderd opzichters.