function play() { 
	if (document.getElementById) { // DOM3 = IE5, NS6 
		document.getElementById('play').style.visibility = 'hidden'; 
	} 
	else { 
		if (document.layers) { // Netscape 4 
				document.play.visibility = 'hidden'; 
		} 
		else { // IE 4 
			document.all.play.style.visibility = 'hidden'; 
		} 
	} 
}

function pause() { 
	if (document.getElementById) { // DOM3 = IE5, NS6 
		document.getElementById('play').style.visibility = 'visible'; 
	} 
	else { 
		if (document.layers) { // Netscape 4 
			document.play.visibility = 'visible'; 
		} 
		else { // IE 4 
			document.all.play.style.visibility = 'visible'; 
		} 
	} 
}