public virtual long NavNumERecs{ get; set;}

Public Overridable Property NavNumERecs As Long

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