How do you get the FileSize for a file on Internet without downloading the whole file first?