Jugxistoj 20.35

35. Kaj la Eternulo frapis la Benjamenidojn antaux la Izraelidoj; kaj la Izraelidoj ekstermis en tiu tago el la Benjamenidoj dudek kvin mil kaj cent homojn; cxiuj ili estis eltirantoj de glavo.