var lastmenu = null;
function menu_otvor(zoznam)
	{
	if (lastmenu != null) {
	   lastmenu.style.display='none'; 
	   lastmenu = null;
	}
	zoznam.style.display="";
	lastmenu = zoznam;
	}

function menuzatvor() {
	if (lastmenu != null) lastmenu.style.display='none'; 
}

function nove_okno(adr,w,h)
	{
	window.open(adr,"okno","width="+w+" height="+h+" menubar=yes");
	}