Flash videos can be exported using Flash to an AVI or MPG file, if you happen to have Flash on hand. If not, there are plenty of free online converters. Just google it. Although, in my experience, exporting any flash animations with movie-clip-type objects in them doesn't animate the movie clips. I don't know if other free converters do or not.