“O comandante da Décima - primeira Divisão era Benaia, de Piratom, em Efraim, com 24. 000 homens em serviço durante o décimo - primeiro mês de cada ano.”