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