$file_size = -s "File.txt";