| SCRIPT language=JavaScript>
songNum = new Array();
songNum[0] = "#";
songNum[1] = "midi_1.mid";
songNum[2] = "midi_2.mid";
songNum[3] = "midi_3.mid";
songNum[4] = "midi_4.mid";
songNum[5] = "midi_5.mid";
var music = null;
var track = 0;
var ver = navigator.appName;
function audioCheck(plugName) {
for (var i = 0; i < navigator.plugins.length; i++) {
if (navigator.plugins[i].name.toLowerCase() == plugName.toLowerCase()) {
for (var j = 0; j < navigator.plugins[i].length; j++) {
if (navigator.plugins[i][j].enabledPlugin) {
return true;}}
return false;}}
return false;}
function chooseSong(s) { // ie
track = s.options[s.selectedIndex].value;
if (ver == "Microsoft Internet Explorer") {
document.all.music.src = songNum[track];
} else {
songPlay('play');}}
function songPlay(cmd) { // netscape
if (audioCheck("LiveAudio")) {
if (cmd == 'play') {
document.musicSource.play(false, songNum[track]);}
} else {
alert("Y heeft niet de juiste Plugin");}}
|