UInt32 CommandKeyOpt.Knum { get; }