[c#] c#: getter/setter