For some strange reason, the server is renaming the files to "index.php". The files are still valid, however. Go ahead and download them.
Then, just change the file type extension to "***.doc" and it should work fine.
Some computers are set to hide file type extensions. If your computer is set this way, you can change the settings. The procedure is a little different for every operating system iteration, but you can look it up online by searching "show file type extention" and your operating system.
Alternatively, in Windows iterations you can right click the file and select "Properties." Inside the window that pops up, you can see the name of the file and the extension. It look like this "file_name.abc". The first part is the name, and the part after the period is the extension. In this case, change it from "index.php" to "whatever.doc". The important part is the ".doc".
Thanks for these files!