Er vielen van Benjamin achttienduizend man, allen krijgslieden.
And there fell of Benjamin eighteen thousand men; all these were men of valour.