DivX Codec

im new to Linux... im trying to use my DivX movies and have downloaded the codec from DivX.Com ... i am unsure as to how to proceed from here...

Check http://www.mplayerhq.hu/ or http://xine.sourceforge.net/
to see if they help.