¿de donde puedo bajarme los codecs para windows media player?

Me imagino que es en:

http://www.divx.com/divx/download/

No hace falta entrar la direccion de correo, eliges idioma (dejalo en ingles) y marcas la opción de divx que quires, en este caso
5.2.

Y nada mas queda darle a bajar.

Saludos, ito

"pixilated" escribió en el mensaje news:072301c49194$28425680$
Me han dejado un fichero avi y cuando voy a reproducirlo
con el Windows Media Player me dice que le faltan codecs y
se conecta a no se donde para descargarlos me da un error
de descarga "No se puede descargar el reproductor adecuado
(Error€0402000)

he pasado el gspot y me dice que me falta el codec de
video DivX5.0
he ido a la pagina divx.com y no se como encontrar el
codec, he elegido Divx, luego he vuelto a elegir divx y he
llegado a una pagina que pone Divx 5.2 y me da lo
siguiente:
Play All DivX Video
Create High-Quality DivX Movies
Store, Save and Share DivX
y un campo que pone DownLoad, al pincharlo me descargo
DivX52XP2K.exe
¿es eso lo que tengo que instalar? Gracias.