Converting to DivX?

Ok…I know the DivX files I’ve seen have always been smaller. I recently made a pretty descent animationl (I havn’t made a single blend in like 4 months and am just starting again) but my webserver (anycities) doesn’t have space for it. (it’s in AVI form.pretty big). I was wondering if I could convert to DivX for a smaller file size. anyone know how/if you do this?

BTW, I have VirtualDUB and DivX/DivX Codec…No clue what to do :smiley:

Never Mind, I figured it out!