Does anyone know how to convert Real Audio format to MP3?

I need too know to help my father out with something, so if anyone knows, please help me out. Thanks a lot. <IMG SRC="smilies/smile.gif" border="0">

[ December 31, 2001: Message edited by: Sonic1787DC ]

anyone?