“ Anchura de la entrada: diez codos. Las paredes laterales de la entrada: cinco codos de ancho por un lado y cinco por el otro. Midió su longitud: cuarenta codos; y su anchura: veinte codos.
”