Renaming groups of files in Window

...in Windows

I need to rename a bunch of pictures (over 1100) in windows...  Basically take P1000100 - P1001200 and rename them 1, 2, 3, etc.  Any utilites for this?  It's for my girlfriend, so it's can't be too difficult to use. 

write yourself a batch file...