I have an output of a set of files named in alphabetic style, like filename.0aa, filename.0ab....filename0.zz and I want to rename these files into numeric style, like filename.001, filename.002 etc. This should be possible with a simple shell script. But I don't succeed. UNIX gurus please help...