public String toString() {return super.toString() + ":" + revstr; }

public String toString ( ) { return super . toString ( ) + ":" + revstr ; }
public override string ToString(){return base.ToString() + ":" + revstr;}
