17And word was given to Joshua that the five kings had been taken in a hole in the rock at Makkedah.
18And Joshua said, Let great stones be rolled against the mouth of the hole, and let men keep watch by it:
19But do you, without waiting, go after their army, attacking them from the back; do not let them get into their towns, for the Lord your God has given them into your hands.
20Now when Joshua and the children of Israel had come to the end of their war of complete destruction, and had put to death all but a small band who had got safely into the walled towns,
21All the people went back to Joshua to the tent-circle at Makkedah in peace: and no one said a word against the children of Israel.
22Then Joshua said, Take away the stones from the mouth of the hole in the rock, and make those five kings come out to me.
23And they did so, and made those five kings come out of the hole to him, the king of Jerusalem, the king of Hebron, the king of Jarmuth, the king of Lachish, and the king of Eglon.