Jadi, tentara Benyamin yang dibunuh hari itu ada 25.000 orang -- semuanya prajurit yang gagah berani.