HAKIM-HAKIM 20:17
—
17
便雅悯人之外，点出以色列人拿刀的，共有四十万，都是战士。
biàn yǎ mǐn rén zhī wài ， diǎn chū yǐ sè liè rén ná dāo de ， gòng yǒu sì shí wàn ， dōu shì zhàn shì 。
Orang Israel juga dihitung jumlahnya, tidak termasuk suku Benyamin, yaitu empat ratus ribu orang bersenjatakan pedang, yang masing-masing orang adalah prajurit.