And the people of Israel were cut down in that place by the army of David. And a great slaughter occurred on that day: twenty thousand men.