function setEmbed(ID, dir) {
    var element = document.getElementById(ID);
    //Write the following three lines in one:
    element.innerHTML = '<embed src="'+dir+ID+'.mp3" autostart="1" loop="0" height="0" width="0" type="'+getMimeType()+'"></embed>';
}// end function setEmbed 

function setEmbed1(ID, dir) {
    var element = document.getElementById(ID);
    //Write the following three lines in one:
    element.innerHTML = '<embed src="'+dir+ID+'.mp3" autostart="0" loop="0" height="0" width="0" type="'+getMimeType()+'"></embed>';
}// end function setEmbed 


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
}//end function getMimeType