18:7 The people of Israel were struck there before David’s servants, and there was a great slaughter there that day of twenty thousand men.