Midió el ancho de la entrada del pórtico: diez codos; el pórtico como tal medía trece codos de largo.