End of Shamgar's time as judge of Israel*