So it was at the time of the going down of the sun that Joshua commanded, and they took them down from the trees, cast them into the cave where they had been hidden, and laid large stones against the cave's mouth, which remain until this very day.
Joshua 10:27
Surrounding context
10:26 And afterward Joshua struck them and killed them, and hanged them on five trees; and they were hanging on the trees until evening.
10:27 So it was at the time of the going down of the sun that Joshua commanded, and they took them down from the trees, cast them into the cave where they had been hidden, and laid large stones against the cave's mouth, which remain until this very day.
10:28 On that day Joshua took Makkedah, and struck it and its king with the edge of the sword. He utterly destroyed them --all the people who were in it. He let none remain. He also did to the king of Makkedah as he had done to the king of Jericho.