var ie4 = document.all && navigator.userAgent.indexOf("Opera") == -1;
var ns6 = document.getElementById && !document.all;
var ns4 = document.layers;

function change(name) {
 document.all[name+"-napis"].src = "images/menu/"+name+"-napisb.gif";
}

function rechange(name) {
 document.all[name+"-napis"].src = "images/menu/"+name+"-napis.gif";
}

function inmenu(name) {
 document.all[name].src = "images/menu/"+name+"b.gif";
}

function outmenu(name) {
 document.all[name].src = "images/menu/"+name+".gif";
}

function showmenu(e,ktore) {
// change(ktore);
 which = ktore;
 menuobj = ie4 ? document.all[which] : 
           ns6 ? document.getElementById(which) :
           ns4 ? document.which : "";
 menuobj.thestyle = (ie4 || ns6) ? menuobj.style : menuobj;
 menuobj.thestyle.visibility = "visible";
 return false;
}

function hidemenu() {
 menuobj.thestyle.visibility = (ie4 || ns6) ? "hidden" : "hide";
}

function dynamichide(e) {
 if (ie4 && !menuobj.contains(e.toElement))
  hidemenu();
 else 
  if (ns6 && e.currentTarget != e.relatedTarget && !contains_ns6(e.currentTarget, e.relatedTarget))
   hidemenu();
}

function wait(ktore) {
// rechange (ktore);
 if (ie4 || ns6 || ns4)
  delay = setTimeout("hidemenu()",0);
}

function leave(ktore) {
 if (window.delay)
  clearTimeout(delay);
}