It seems the people replying here are having trouble understanding basic English as they are going on about avi to mpeg and such.
If you need the DC DivX Player you can get it here my friend;
DC Emulation.com
or from the DC Divx homepage;
DC Divx Homepage
There is a new beta 3 version just come out and it rocks it plays divx quite nice although u need to encode the divx with a certain bitrate and make sure the window size is 320 x 352 to make it play smooth.
Check out a good graphical walkthrough of it
Here.
I hope this helps.