public TabIdRecord(RecordInputStream in) {int nTabs = in.remaining() / 2;_tabids = new short[nTabs];for (int i = 0; i < _tabids.length; i++) {_tabids[i] = in.readShort();}}
public TabIdRecord(RecordInputStream in1){_tabids = new short[in1.Remaining / 2];for (int k = 0; k < _tabids.Length; k++){_tabids[k] = in1.ReadShort();}}