“ A la hora de la puesta del sol, a una orden de Josué, los descolgaron de los árboles y los arrojaron a la cueva en que se habían escondido, y echaron unas piedras grandes a la boca de la cueva: allí están todavía hoy.
”