public virtual long NavNumAggrERecs{ get; set;}

Public Overridable Property NavNumAggrERecs As Long

public:
virtual property long long NavNumAggrERecs {
	long long get ();
	void set (long long value);
}