public StreamIDRecord(RecordInputStream in) {idstm = in.readShort();}

public StreamIDRecord ( RecordInputStream in ) { idstm = in . readShort ( ) ; }
public StreamIDRecord(RecordInputStream in1){idstm = in1.ReadShort();}
