End of Gideon's time as judge of Israel*