<!--
// Play background music using JavaScript

function background_music(filename) {
	var browserName = navigator.appName;
	var browserVers   = navigator.appVersion;

	if (browserName.indexOf("Microsoft") == 0) {
		document.write("<bgsound src='" + filename + "' loop=0>");
	}
	else {
		document.write("<embed src='" + filename + "' NAME='snd' WIDTH='1' HEIGHT='2'"
			+ " autostart=true></embed>");
	}
}
//-->

