Kaj la Eternulo frapis la Benjamenidojn antaŭ la Izraelidoj; kaj la Izraelidoj ekstermis en tiu tago el la Benjamenidoj dudek kvin mil kaj cent homojn; ĉiuj ili estis eltirantoj de glavo.