Pay no attention to the code behind the curtain... :-)

Yep, Dave's got it. A little HTML magic to pull a music file from the Web. Most browsers are configured to recognize files by the extension on their name and launch an application associated with that extension - in this case whatever you've got that is your music player. The file is in the .mp3 format.

Rgds,
Fog Daddy