function activate_menu($id){
		hide_all();
		window.clearTimeout(window.$timeout);
		document.getElementById("menu"+$id).style.display = "";
	}
	function hide_menu($id){
		window.$timeout = window.setTimeout("hide_all()", 300);
	}
	function hide_all(){
		$menus = $menus_g.split(",");
		while($menu = $menus.pop()){
			document.getElementById("menu"+$menu).style.display = "none";
		}
	}

	function act($image, $obj){
		$obj = $obj.firstChild;
		$obj.src = "images/"+$image;
	}