It happened at the time of the going down of the sun, that Joshua commanded, and they took them down off the trees, and cast them into the cave in which they had hidden themselves, and laid great stones on the mouth of the cave, to this very day.
and they cast them into the cave wherein they had been hid; so that what had been their hiding place now became their grave; and according to the Samaritan Chronicle q, the trees also on which they were hanged were cast in with them;