function mkSetMenus (curpath) {  
   firststring ="";
   secondstring ="";   

   pathremaining=curpath;
   goonflag = true;
   

   while (goonflag) {
     nextparsepoint=-1;
     if (pathremaining.substring(0,1) == "/") pathremaining = pathremaining.substring(1);

     nextparsepoint = pathremaining.indexOf("/");
     if (nextparsepoint < 0) {
       nextparsepoint = pathremaining.indexOf(".");
     }
     if (nextparsepoint < 0) {
       nextparsepoint = pathremaining.length;
     }

     
     if (nextparsepoint > 0) {
       curtoken = pathremaining.substring(0,nextparsepoint);
       pathremaining = pathremaining.substring(nextparsepoint+1);
       mkSetNav(curtoken);
     } else {
       goonflag=false;
     }
    }   
   
           
// Adjust column heights
   var mkmContent = document.getElementById('mkcontent'); 
   var contentHeight = mkmContent.offsetHeight;

   var mkmLeftNav = document.getElementById('mkleftnav');
   var leftNavHeight = mkmLeftNav.offsetHeight;

   var x = Math.max(contentHeight, leftNavHeight);
   mkmLeftNav.style.height = x + "px";

  

}



function mkSetNav (curtoken) {

    
   curtokenvis = curtoken + "vis";
   curtokenlink = curtoken + "link";
   if (document.getElementById(curtokenlink) != null) {
     document.getElementById(curtokenlink).className = "selected";
      
   }

   if (document.getElementById(curtokenvis) != null) {
     document.getElementById(curtokenvis).style.display="block";     
   }
}



   function mkpopup(url) {
      window.open(url, '_blank', 'height=400, width=600, resizable, scrollbars, toolbar, status, menubar');
   }
    function mkpopuplarge(url) {
      window.open(url, '_blank', 'height=600, width=800, resizable, scrollbars, toolbar, status, menubar');
   }
   function mkpopupAddLoc(url) {
      window.open(url, '_blank', 'height=400, width=600, resizable, scrollbars, toolbar, status, menubar, location');
   }
   function mkpopupBasic(url, name, features) {
      window.open(url, name, features);
   }
   function mkpopupStd(url) {
      window.open(url);
   }

function mknull() {
}