Judges 20:44-47

⁴⁴And there fell of Benjamin eighteen thousand men: all these were men of might.

⁴⁵And the rest turned, and fled to the wilderness to the rock of Rimmon; and the children of Israel picked off of them five thousand men; and the children of Israel went down after them as far as Gidom, and they smote of them two thousand men.

⁴⁶And all that fell of Benjamin were twenty-five thousand men that drew sword in that day: all these were men of might.

⁴⁷And the rest turned, and fled to the wilderness to the rock of Rimmon, even six hundred men; and they sojourned four months in the rock of Rimmon.