// JavaScript Document

var lastSubNav = new Array() ;
var lastLabel = new Array() ;

function show(id, label, level){

         while(lastSubNav.length >level)
hideElement(lastSubNav.pop());
          
          while( lastLabel.length >level)
lastLabel.pop().className = "";
         
         if(label != null){
                   label.className = "current";
                   lastLabel.push(label);
         }
         
         var sub = document.getElementById(id);
         if(sub != null){ 
                   sub.style.display="block";
                   lastSubNav.push(sub);
         }
}

function hideElement(domelem){
         if(domelem != null) domelem.style.display="none";
}