7 He smote Edom in the valley of (the) makings of salt, he smote ten thousand (men), and took the Stone in battle (and took Selah in battle); and he called the name thereof Joktheel , (which it is still called) unto this present day.