I you just want to watch them, then simply open them with divx player. Personally I prefer both vlc & mplayer because I've found they can both play more file-types than divx player can. Check them out here CODECs list and alternate players for Movies