with (document) {
  writeln('<SELECT NAME="streams" onChange="change()">');
  for (var i = 0; i < streams.length; i++) {
    writeln('<OPTION VALUE="', streams[i].url, '">', streams[i].name);
  }
  writeln("</SELECT>");
}

The event handler change() kicks in whenever there is a change in the selection:

function change() {
  var list = document.playerCtrl.streams;
  var streamURL = list.options[list.selectedIndex].value;
  document.mediaPlayer.stop();
  document.mediaPlayer.fileName = streamURL;
}

First, we extract the URL of the currently selected item. We then call the Media Player's stop() method and then restart the new selection by assigning its URL to the Media Player's fileName property.

Learn more about our streaming media jukebox in Column 51, A Streaming Media JukeBox.

People who read this tip also read these tips:

• Detecting a Modifier Key
• Preparing a Form for User Corrections
• Detecting a Modifier Key
• Mailing Forms
• INPUT Elements