var menuTimer, menuActiveIndex, originalMenuActiveIndex;

function showMenu(id)
{
	clearTimeout(menuTimer);
	
	if (menuActiveIndex != id) {
	
		if (menuActiveIndex != null) {
			// zneviditelneni predesleho aktivniho menu
			document.getElementById('subMenu' + menuActiveIndex).style.display = 'none';
		}
		
		menuActiveIndex = id;
		
		if (id != null) {
			// zviditelneni noveho menu
			document.getElementById('subMenu' + menuActiveIndex).style.display = 'block';
		}
		
	}
	
}

function swapToOriginalMenu()
{
	showMenu(originalMenuActiveIndex);
}

function hideMenu()
{
	menuTimer = setTimeout("swapToOriginalMenu()", 500);
}

function dontHideMenu()
{
	clearTimeout(menuTimer);
}