Problem with playing a *.divx file.

[moo14]

I have downloaded a movie and its in *.divx format.
I tried to play it with the divx player but it says:
"The file you r attempting to open does not appper to be a divx video file. The file may be another media type, or maybe corrupted in some way...".
Since when is there a *.divx ending to files, and how do i play those files? Is it really corrupted, and if so can i fix it?

Thanx in advance.

[UncasMS]

open the file with GSPOT in order to find out which codec was used

[gd_nimrod]

You can also try renaming the file to either .avi or .mpg