Third Book of Kings (Author Compiled by Isaias and Jeremias from records of Nathan, Gad, Addo, Ahias, Jehu and others.)
20:15recensuit ergo pueros principum provinciarum et repperit numerum ducentorum triginta duum et post eos recensuit populum omnes filios Israhel septem milia
Original from The Bible Foundation - bf.org. They claim public domain status for their original text.