public RdpPattern MixedTextDeriv (RdpPattern p)
		{
			RdpPattern m = mixedText [p] as RdpPattern;
			if (m != null)
				return m;

			m = p.MixedTextDeriv (this);
			mixedText [p] = m;
			return m;
		}