esiste una funzione per sapere la lunghezza di un file?