public String toString() {return String.format("type(%d)", type);}

public String toString ( ) { return String . format ( "type(%d)" , type ) ; }
public override string ToString(){return string.Format("type({0})", type);}
