End of Ehud's time as judge of Israel*