UInt32 ContactToolResult.SetNumber { get; set; }