// Embed a random sound file with a Halloween theme...
// LANGUAGE="JavaScript"

{
  music = new Array(9);
  music[0] = "hauntman.mid";
  music[1] = "twilightzone.mid";
  music[2] = "escape.mid";
  music[3] = "reaper.mid";
  music[4] = "exorcist.mid";
  music[5] = "its_halo.mid";
  music[6] = "adams.mid";
  music[7] = "hitchcoc.mid";
  music[8] = "scare.mid";
  index = Math.floor(Math.random() * music.length);

  MusicInvocation = "";
  MusicInvocation = MusicInvocation + "<dl>\n";
  MusicInvocation = MusicInvocation + "<dt><FONT SIZE=2 COLOR=#000000>";
  MusicInvocation = MusicInvocation + "<EMBED SRC='../common/" + music[index] + "' autostart=true loop=false volume=75 width=145 height=20 controls=console> Now Playing '" + music[index] + "'.";
  MusicInvocation = MusicInvocation + "</FONT>\n";
  MusicInvocation = MusicInvocation + "</dl>\n";

  // Start it up...
  // document.write(MusicInvocation);
  MusicInvocation = "";
}