Midió el ancho de la entrada de la puerta, de diez codos, y la longitud del portal, de trece codos.