Help regarding playing radio stream

To play a stream from a server that operates an internet radio station, is the url to have mp3 on the end? I have a stream that was provided to me but it has the server address as an ip with 8000 ...