Che estensione ha il file?