Then, when they had finished, they cast the earth over the corpse, until the grave was filled.