And the LORD defeated Benjamin before Israel: and the children of Israel destroyed of the Benjamites that day twenty and five thousand and a hundred men: all these drew the sword.