If you need the realplayer plugin, you can get it here