M idió el ancho de la entrada de la puerta, de diez codos, y la longitud del portal, 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.