//RHL
//Script containing sound functions
var correctSoundFile;
var incorrectSoundFile;

function playSoundOLD(soundType)
{
// NOT USED
// The following code is causing crashes on some platforms
/*
	var innerHTML;
	var IE=false;
	
	if (parseInt(navigator.appVersion) >= 4)
	{
	if (navigator.appName != "Netscape")
		IE = true
	}
	
	innerHTML="<EMBED NAME='Sound' SRC=\"";
	if (soundType == "correct")
	   innerHTML+=correctSoundFile;
	else if (soundType == "incorrect")
	   innerHTML+=incorrectSoundFile;
	innerHTML+="\" MASTERSOUND HEIGHT='60' WIDTH='144' HIDDEN='true'>";
	
	if (IE)
	{
		document.all.embeddedSound.innerHTML=innerHTML;
	}
	else
	{
		document.embeddedSound.document.write(innerHTML);
		document.embeddedSound.document.close();
	}
*/
}