Someone (I think Epic?) gave me a link to a codec package

…and my computer crashed some time later, not due to that… but I would like to know where these codecs would be found, so that I can play all the movies that I have. Thank you very much.

The error that I get says:

"Video data not recognized by DivX player

Video data: 4CC code ‘IV32’"

Any help is appreciated, especially if you could point me to the right codec… or a large codecs package.

Thank you very much, Mr. Roboto.