What's the best way to convert Flash animations to some sort of video file?

I've gotten some Flash files out of my Temp Internet Files, and I'd like a method that didn't include Quicktime or RealPlayer, if possible.

Thanks!