what is the real divx and xivd codec that I could download for my windows movie

maker to play xvid avi? I can't find the codec to play xvid avi.. specifically for the purpose of importing files into adobe premiere cs3

i recently reformatted my pc, so I can't remember what i did download to make this work before...

thanks!