
          var catMenuState = 0;
          var catmenu = null;
          function showCatMenu(obj) {
          	if (catmenu!=null) {
          		if (catmenu!=obj)catmenu.style.display="none";
          	}
	          catmenu = obj;
          	catMenuState=1;
          	obj.style.display="";
          }
          function waitCatMenu(obj) {
	          catmenu = obj;
          	catMenuState=0;
          	obj.style.display="";
          	setTimeout("hideCatMenu()", 3000, "JAVAScript");
          }
          function hideCatMenu() {
          	if (catMenuState==0) catmenu.style.display="none";
          }
