rename  $._files $.files 
rename  $.files._tex $.files.!tex 
rename  $.files.!tex._310format $.files.!tex.310formats 
rename  $.files.!tex.310formats._tex $.files.!tex.310formats.tex 
rename  $.files.!tex.310formats._plain $.files.!tex.310formats.plain 
*quit
