17 Salomão fez, por esse tempo, o recenseamento dos estrangeiros que viviam no pais, tal como fizera seu pai David: eram 153.600. Empregou 70.000 como operários, 80.000 como pedreiros e 3.600 como capatazes.