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

	function play1()
	{
		getPlayer('player1').playMusic();
	}
	
	function pause1()
        {
                getPlayer('player1').pauseMusic();
        }