function addBookmark(title,url) {
	if (window.sidebar) {
		window.sidebar.addPanel(title, url,"");
	} else if( document.all ) {
		window.external.AddFavorite( url, title);
	} else if( window.opera && window.print ) {
		return true;
	}
}

function okno(soubor,sirka,vyska)  {
	window.open(soubor,'','toolbar=no,scrollbars=yes,location=no,status=no,width='+sirka+',height='+vyska+',resizable=1')
}

// ------------------------------------------ zmena tridy
function Aktivni(id)  {
  document.getElementById(id).className = "aktivni";
}

function Deaktivni(id)  {
  document.getElementById(id).className = "";
}

// ------------------------------------------ funkce pro rozbalovaci menu

var PocetMenu = 3;

function show(menu_item)
{
  document.getElementById("podmenu" + menu_item).style.visibility = "visible";
  document.getElementById("a-menu"+menu_item).className = "selected";
}

function hide(menu_item)
{
  document.getElementById("podmenu" + menu_item).style.visibility = "hidden";
  document.getElementById("a-menu"+menu_item).className="";
}



// ------------------------------------------ AJAX
// here we define global variable
var ajaxdestination="";

function getdata(what,where) { // get data from source (what)
 try {
   xmlhttp = window.XMLHttpRequest?new XMLHttpRequest():
  		new ActiveXObject("Microsoft.XMLHTTP");
 }
 catch (e) { /* do nothing */ }
 document.getElementById(where).innerHTML ="<center><img src='../img/loading.gif'></center>";
// we are defining the destination DIV id, must be stored in global variable (ajaxdestination)
 ajaxdestination=where;
 xmlhttp.onreadystatechange = triggered; // when request finished, call the function to put result to destination DIV
 xmlhttp.open("GET", what);
 xmlhttp.send(null);
  return false;
}

function triggered() { // put data returned by requested URL to selected DIV
  if (xmlhttp.readyState == 4) if (xmlhttp.status == 200) 
    document.getElementById(ajaxdestination).innerHTML =xmlhttp.responseText;
}


function ajax(what) { // get data from source (what)
	 try {
	   xmlhttp = window.XMLHttpRequest?new XMLHttpRequest():
	  		new ActiveXObject("Microsoft.XMLHTTP");
	 }
	 catch (e) { /* do nothing */ }
	// document.getElementById(where).innerHTML ="<center><br /><img src='loading.gif'></center>";
	// we are defining the destination DIV id, must be stored in global variable (ajaxdestination)
	// ajaxdestination=where;
	// xmlhttp.onreadystatechange = triggered; // when request finished, call the function to put result to destination DIV
	 xmlhttp.open("GET", what);
	 xmlhttp.send(null);
	  return false;
	}


function PrepniJazyk(what) {
try {
	   xmlhttp = window.XMLHttpRequest?new XMLHttpRequest():
	  		new ActiveXObject("Microsoft.XMLHTTP");
	 }
	 catch (e) { /* do nothing */ }
	// document.getElementById(where).innerHTML ="<center><br /><img src='loading.gif'></center>";
	// we are defining the destination DIV id, must be stored in global variable (ajaxdestination)
	// ajaxdestination=where;
//	 xmlhttp.onreadystatechange = triggered; // when request finished, call the function to put result to destination DIV
	 xmlhttp.open("GET", what);
	 xmlhttp.send(null);
	 xmlhttp.onreadystatechange = prepnout;

	  return false;
}
function prepnout() { // put data returned by requested URL to selected DIV
  if (xmlhttp.readyState == 4) if (xmlhttp.status == 200) 
    location.reload(true);
}