	if (document.images) {
		   totopon = new Image();
		   totopon.src = "/gif/menu2-totop-on.gif";
		   totopoff = new Image();
		   totopoff.src = "/gif/menu2-totop-off.gif";
	}
	
	function menuon(imgName) {
		if (document.images) {
		document[imgName].src = eval("'../gif/menu2-" + imgName + "-on.gif'");
		}
	}
	function menuoff(imgName) {
		if (document.images) {
		document[imgName].src = eval("'../gif/menu2-" + imgName + "-off.gif'");
		}
	}

