raga come è possibile ottenere la grandezza di un file?