恩，偶想实现N个文件名的重命名

原文件名 15ABOMCRM????????
新文件名 ABOMCRM????????.txt ????????为8位数字日期

需要去掉前缀15，增加txt扩展名，后者通过ren好实现，但是去掉15前缀，怎么也搞不定，后来想到了用move，搜索了下论坛的帖子，没有可参考的例子，自己照着写了一个


move 15ABOMCRM%1 ABOMCRM%1.txt


也无法实现，还请高手帮忙~~~~~~~~

自己无奈之举，是采用set/p 的方法，通过输入日期，补全文件名，达到ren的目的，请教下各位高手，是否能更加自动化，无需人工输入，哈哈。

echo off

echo Please input the file date:

set /p datadate=

set date=%datadate:~0,8%

pause

ren 15ABLTRNCHT%date% 0143crmabl%date%.txt

C:\WINDOWS>set name=15ABOMCRM20080818

C:\WINDOWS>echo %name:~3%
BOMCRM20080818