// JavaScript Document
function setEmbed() 
{
	var element = document.getElementById('footer');
	//Write the following three lines in one:
	element.innerHTML = '<embed id="sound1" src="./sound/lente.mp3" autostart="0" loop="0" type="'
		+getMimeType()+'" hidden="true"></embed>';
	element.innerHTML += '<embed id="sound2" src="./sound/tandartsboor.mp3" autostart="0" loop="0" type="'
		+getMimeType()+'" hidden="true"></embed>';
	element.innerHTML += '<embed id="sound3" src="./sound/hygienist.mp3" autostart="0" loop="0" type="'
		+getMimeType()+'" hidden="true"></embed>';
	element.innerHTML += '<embed id="sound4" src="./sound/deurbel.mp3" autostart="0" loop="0" type="'
		+getMimeType()+'" hidden="true"></embed>';
}

function getMimeType()
{
	var mimeType = "application/x-mplayer2"; //default
	var agt=navigator.userAgent.toLowerCase();
	if (navigator.mimeTypes && agt.indexOf("windows")==-1) {
		//non-IE, no-Windows
		var plugin=navigator.mimeTypes["audio/mpeg"].enabledPlugin;
		if (plugin) mimeType="audio/mpeg" //Mac/Safari & Linux/FFox
	}//end no-Windows
	return mimeType;
}

function playSound(i) {
	var name = 'sound'+i;
	var sndObj=document.getElementById(name);
	try {
			sndObj.Play();
	}
	catch (e) {
			sndObj.DoPlay();
	}
}