public ViewSourceRecord(RecordInputStream in) {vs = in.readShort();}

public ViewSourceRecord ( RecordInputStream in ) { vs = in . readShort ( ) ; }
public ViewSourceRecord(RecordInputStream in1){vs = in1.ReadShort();}
