No, Divx may have the codec already installed. You can't get around needing a codec. Most people use Cinepak, Indeo or Sorenson. Some less know codec really can get the file size down, but then you need to download the codec from that site. Here is where you can download the
Indeo codec. You most likely already have it installed, but this is a good example of how codecs work.