We would like to display the size of a file to be downloaded. Because the files can be updated by ftp and so the size changes, we would like to do this dynamic. How could we get the size of a file on the server?