Y fueron todos los que de Ben-jamín murieron aquel día, veinte y cinco mil hombres, que sacaban espada, todos estos hombres de guerra.