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")