That would be the real media player:
http://en.wikipedia.org/wiki/RealAudio
But I'm almost certain that the free VLC player will be able to play them as well:
http://www.videolan.org/vlc/
It's anyway one of the best media players nowadays.....

__________________

"Never Argue With An Idiot. They Will Drag You Down To Their Level, Then Beat You With Experience"