function init(){
/*
	if (self != top) {
		top.location.href=self.location.href;
	}
*/
  if(document.selection) {
   var menu = document.getElementById('menu');

   menu.parentNode.onmouseover = function () {
     menu.style.display = "block";
   }

   menu.parentNode.onmouseout = function () {
     menu.style.display = "none";
   }
  }
 }

function makeli(toc,style,href,text){
	var lielement = document.createElement("li");
	lielement.setAttribute("style",style);
	var innerelement = document.createElement("a");
	innerelement.setAttribute("href",href);
	elementtext = document.createTextNode(text);
	innerelement.appendChild(elementtext);
	lielement.appendChild(innerelement);
	toc.appendChild(lielement);
}