// ===================== MENU ========================
var timer, visibleId = 0;
var dom = document.getElementById ? true : false;
var ie4 = ((document.all) && (!dom)) ? true : false;
var ns4 = document.layers ? true : false;
var opera = navigator.userAgent.indexOf('Opera') != -1 ? true : false;
var dhtml = dom ? true : ie4 ? true : ns4 ? true : false;
	
function Hide(element)
{ 
  timer = setTimeout("document.getElementById('" + element + "').style.visibility = 'hidden'",700);
}

	
document.getElementById('ID elementu');
	
function Show(element)
{
  if (visibleId != 0) {document.getElementById(visibleId).style.visibility = 'hidden'};
  document.getElementById(element).style.visibility = 'visible';
  visibleId = element;
  clearTimeout(timer);
}

function stopTimer()
{
  clearTimeout(timer);
}
