I think it is Times, but it has been condensed and has a stroke added to make it bolder.
Typophile
node 3417
Okay. Here's 53pt Times New Roman, 2pt stroke, horizontally scaled to 70%:
There are several different versions of Times so it may not be the same exact one, but it's definitely Times.
Captured from web.archive.org on 18 May 2005. view this capture