ファイルのサイズを、取得する方法をおしえて。