		<!--
		var menu_on = new Image();
//		var menu_out = new Image();
		menu_on.src = "../images/menu2.gif";
//		menu_out.src = "../images/menu1.gif";

		function catMove(a) {
			document.getElementById(a).style.backgroundImage='url(../images/menu2.gif)';
			document.getElementById(a).style.cursor='hand';
		}
		function catOut(a) {
			document.getElementById(a).style.backgroundImage='url(../images/menu1.gif)';
		}
		//-->