a technical question

Who knows a slick and easy way to extract audio from flash files?

I have a load of flash files that are basically audio only, but I want to have them in other formats like AIFF or MP3. How can I slurp out the audio easily?

Thanks in advance hugs