Deuteronomy 22:18

Then the elders of that city shall take the man and punish him.

And the elders of that city shall take that man and chastise him;

The elders of that city shall take the man and chastise him.

And the elders of that city shall take the man and chastise him;