M idió el ancho de la entrada de la puerta, de diez codos; y la longitud del portal era de trece codos.
Midió la entrada de la puerta, y ésta medía cinco metros de ancho; el portal medía seis metros y medio de largo.