I find windows media player does a better job than DivX, at least on my computer.. just get the latest version of media player, and all shall be fine.
[edit] oops, didn't read that u had media player. It should automatically download the right codec. at least mine did.