La larghezza del muro, ch'era alle pile in fuori, era di cinque cubiti; come anche ciò ch'era stato lasciato di vuoto fra le pile della casa.