import os
import re
dirlist = os.listdir(".")
for f in dirlist:
 x03 = re.search('([0-9]*)', f)
 print "Renaming: ", f, x03.group(0) + "_InsuranceSEN.pdf"
 os.rename(f, x03.group(0) + "_InsuranceSEN.pdf")