Deuteronomy 22:18
And the elders of that city shall take that man and chastise him;
And the elders of that city shall take that man and chastise him;
NKJV: Then the elders of that city shall take that man and punish him;
ESV: Then the elders of that city shall take the man and whip him,