批处理——读写文件、字符串替换