For a high-quality export, I like Quicktime Animation codec. For smaller size, compress that into something like Quicktime Sorenson 3 or Quicktime H.264. But again, context means a lot… if the video is for web, maybe try flash. If you are going to edit it on a windows machine, avi may be your only bet. It all depends.
Thanks,
Alexander Gao
“When the revolution happens, I’ll be leading it.”