public String toString() {return "FAST_" + path.toString(); }

public String toString ( ) { return "FAST_" + path . toString ( ) ; }
public override string ToString(){return "FAST_" + path.ToString();}
