TSK · Judges 20:15

those who were numbered of them, of the tribe of Benjamin, were thirty-five thousand four hundred.

The people, the men of Israel, encouraged themselves, and set the battle again in array in the place where they set themselves in array the first day.

Yahweh struck Benjamin before Israel; and the children of Israel destroyed of Benjamin that day twenty-five thousand one hundred men: all these drew the sword.