public RecordPos(int offset, DOMPage page) { this.offset = offset; this.page = page; }
public RecordPos(int offset, DOMPage page, short tid) { this.offset = offset; this.page = page; this.tid = tid; }
		public RecordPos(int offset, DOMPage page) {			this.offset = offset;			this.page = page;		}