I've seen in quite a few places people requesting information on how to export movies from flash. The most popular method of exporting is in Apple's .mov format. I've always found this format to be a bit temperental on a Windows system, so my usual method involves exporting .PNG files as a sequence and importing them into the video editor of your choice (In Adobe Premier there is a little box labled "Numbered stills" in the inport box that needs to be checked)

Once this is done you should have a pretty high quality image sequence ready to be mixed with the sound files and exported into the format of your choice. I usually export to mp4 due to it's high quality and low file size, WMV offers smaller file size as well but at times the video quality can seem a bit questionable.

Here's a short video I made on the subject anyway.

Hope the video helps somebody out there, at the end of the day it's best to play around with different methods and find what works best for you.

Tom

ps. The Latest episode of my series "Half Full" is online @ Newgrounds/Youtube