UInt32 ContactToolResult.RpmSetNumber { get; set; }