Do you want to rename it with the current date and time? Or the date and timestamp of the file?
I am making the following assumptions: You are running Windows 2000 / XP / 2003 / Vista, your regional settings are U.S., English, and you want to use the preferred format of YYYYMMDDhhmm. Try:
@echo off
setlocal
set hour=%time:~0,2%
if %hour% LSS 10 set hour=0%hour:~-1%
ren extract.txt extract%date:~-4%%date:~-10,2%%date:~-7,2%%hour%%time:~3,2%.txt
If you need a different format, post back and let us know.
If you just need to add the date to the filename (without time) it can be done in just 1 line of code.