Judges 20:45

And the rest turned, and fled to the wilderness to the rock of Remmon; and the children of Israel picked off of them five thousand men; and the children of Israel went down after them as far as Gedan, and they struck of them two thousand men.