7 He smote of Edom ten thousand in the valley of salt, and took the Rock in the war, and called its name Jethoel until this day.