function getPlayer(movieName){
	if (navigator.appName.indexOf("Microsoft") != -1){return window[movieName];} 
	else{return document[movieName];}
}

function play1(){getPlayer('player1').playMusic();}
	
function stop1(){getPlayer('player1').stopMusic();}