怎样将将HTML文件批量改名

如何将HTML文件批量改名呢，名字取各HTML文件中身份证号，用什么技术手段都可以接受，python, vba or else！

python读取文件内容得到文件名，然后改文件名字。lxml可以解析html得到身份证号码

shell

cat / grep / awk / mv

用shell 的sed命令利用正则表达式提取出身份证号保存在一个文件中,然后读取文件，利用rename(),
import java.io.*;
public class RenameFile
{
public static void main(String[] args)
{
System.out.println(file.renameTo(file2));
}
public static boolean rename(String name ,String rename){
File file = new File(name );
File file2 = new File(rename);
return file.renameTo(file2);
}
}