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