// JavaScript Document
		/*
		**	Коллекция таймеров для гашения меню
		*/
		var hideTimers = new Object();
		/*
		**	Функция устанавливает видимость элементу
		*/
		function setVisibility(objID, visible)
		{
			var obj = document.getElementById(objID);
			obj.style.visibility = (visible) ? "visible" : "";
		}
		/*
		**	Функция показывает меню с указанным ID
		*/
		function showMenu(objID)
		{
			 setVisibility(objID, true);
			 clearTimeout(hideTimers[objID]);
		}
		/*
		**	Функция убирает меню с указанным ID
		*/
		function hideMenu(objID)
		{
			 var cmd = "setVisibility('" + objID + "', false)";
			 hideTimers[objID] = setTimeout(cmd, 100);
		}