Any way to make an extension number play a mp3 file from..?

Any way to make an extension number play a mp3 file from a different server?

what do you mean by extension number? You can use an AGI script to stream an mp3

Can you elaborate please?
I thought the best way was with an extension, but what would the best way to make it that you can access a MP3 stream from an IVR?

Thanks