The best free video converter that I've found is "Any Video Converter", the free version. I haven't used it to convert flash vids but its says it can do them.
Oh, is that what it was? I thought maybe you smoked some salvia and it was taking effect as you were typing... lol
'Super' will do it. Super can convert many different file types. It allows you to choose both the container and the codec. It's free and doesn't expire. http://www.erightsoft.com/SUPER.html Download is at the bottom of the next page. http://www.erightsoft.com/S6Kg1.html .