volevo sapere come si chiamava quella funzione che ti dà la dimensione di un file