//Navigation links
 var over = false;
 function init(){
  if(!over){
   divs = document.getElementsByTagName("DIV");
   var i=0;
   while( i < divs.length){
    name = divs[i].getAttribute("name");
    if( name == "menu"){
     hide( divs[i]);
    } i ++;
   }
  }
 }
 function hide(obj){
  //alert("hide"+obj.innerHTML);
  obj.style.visibility="hidden";
 }
 function show(obj){
  obj.style.visibility="inherit";
 }
 function overMenu(obj){
  over = true;
 }
 function outMenu(obj){
  over = false;
     setTimeout('init()',700);
 }
 function overItem(obj){
  over = true;
  showChildren(obj);
  hideNeighborChildren(obj);
 }
 function outItem(obj){
 }

 function hideNeighborChildren(obj){
  var children = obj.parentNode.childNodes;
  for(i=0;i<children.length;i++){
   //alert("i = "+i);
   if(children[i] != obj){
    hideChildren(children[i]);
   }
  }
 }
 function hideChildren(obj){
  var children = obj.childNodes;
  for(j=0;j<children.length;j++){
   // alert("DEBUG1");
   child = children[j];
   if(child.nodeName=="DIV" && child.getAttribute("name")=="menu"){
    hide(child);
   }
   // hide the children of the current child
   //??? hideChildren(children[j]);
  }
 }
 function showChildren(obj){
  children = obj.childNodes;
  var i=0;
  while(i<children.length){
   if(children[i].nodeName=="DIV"){
    show(children[i]);
   } i++;
  }
 }