71F13 · the time of Ehud; story of Ehud and Eglon (Judges 3:15-30)