realplayer to avi

[leonokio]

Esiste un prg ke mi permetta di convertire un filmato realplayer in un filmato AVI?
grazie!