下载文件

从网上下载一个文件。