Animated GIF to AVI or Mpeg?



Hey guys,
I know it’s possible, but wich program do I have to use to covert an animated GIF to an *.avi or *.mpg file ??


The program “Gif Construction Set” can create AVIs out of GIFs, the only problem is the files created are really BIG (for example a 256 color GIF, 10 frames, size 400Kb becomes an AVI of 3.5 Mb)