一个搜索指定文件的程序