import java.io.*;
class ProvaAVI { 
  public static void main (String[] args) {
     AVI v = new AVI("Blade Runner", "R. Scott", 1000, "bladerunner.avi");
     System.out.println(v.toString());
     v.aggiornaFile(700,"bldrnnr.avi");
     System.out.println(v.toString());
     System.out.println("Video: "+v.getTitolo() + ", " + v.getRegista() +
                         ", " + v.getDimensione() + ", " + v.getNomeFile());
  } 
}