If the divx codec doesn't work then for sure it will be Xvid.

http://www.roeder.goe.net/~koepi/xvid.shtml