prompt

How big is that file?

You are working at the windows command prompt, and you need to know the size of a file on the hard drive. Which iof these commands would provide you with this information?