public class Dottorando extends Studente {
  private int ciclo;
  
  public Dottorando(String n, String c, String m, int d) {
    super(n,c,m);
    this.ciclo = d;
  }
  
  public String toString() {
    String[] parti = super.toString().split(": ");
    return ("Dottorando: " + parti[1] + "_" + this.ciclo);
  }
}