// Pick a random tune
// (C)2003 James Bowden
// You are free to use this script


function TunePick()
{
  var num = Math.round(Math.random() * 24 + 0.5);
  var stringnum = "";
  if (num < 10)
    stringnum += "0";
  if (num < 100)
    stringnum += "0";
  stringnum += num;
  document.writeln("<BGSOUND src=\"midi/s" + stringnum + ".mid\">");
}

TunePick();