var menu
	
	if (document.images) {	menu = true } else {menu = false };
	
	function menuOver(imgName) {
		if (menu)  {
			document.images[imgName].src = "images/buttonA.gif";
		}
	}
	
	function menuOut(imgName){
		if (menu) {
			document.images[imgName].src = "images/button.gif";	
		}
	}