Third Book of Kings (Author Compiled by Isaias and Jeremias from records of Nathan, Gad, Addo, Ahias, Jehu and others.)
20:15So he mustered the servants of the princes of the provinces, and he found the number of two hundred and thirty-two: and he mustered after them the people, all the children of Israel, seven thousand:
Original from Project Gutenberg - Massive cleanup of OCR problems and editing done locally.