And the people of Israel were routed before the servants of David, and there was a great slaughter there that day: twenty thousand men.