if(window.attachEvent)
	window.attachEvent("onload",LoadPage);
else if(window.addEventListener)
	window.addEventListener("load",LoadPage,false);
else
	onload = function() { LoadPage() };
function LoadPage(){
menu_main('awt-leftside');
}



  var url=location.href;
  var hilightME = 0;
   function directory_menu(menu_id) {
    thisurl = location.href;
      thisurl =thisurl.substring((thisurl.lastIndexOf("portal/")+7),thisurl.length);
	  	   thisurl =thisurl.substring(0, thisurl.indexOf("/"));
	  thisurl += '/';
	    var main = document.getElementById(menu_id);
     if (!main) alert("No element with id '"+ menu_id +"' found");
	 menu_traverse(main,thisurl);
	 hilightME = 0;
   }
  
  function menu_main(menu_id) {
  directory_menu('mainNav');
     url = location.href;
     if (url.lastIndexOf("/") == (url.length-1)) {
       url = url+'index.html';
     }
     if (url.lastIndexOf("?") >= 0) {
       url = url.substring(0, url.lastIndexOf("?"));
     }
     if (url.lastIndexOf("#") >= 0) {
       url = url.substring(0, url.lastIndexOf("#"));
     }
     menu_url = url;
     
     var main = document.getElementById(menu_id);
     //if (!main) alert("No element with id '"+ menu_id +"' found");
     menu_traverse(main,menu_url);
	 hilightME = 0;
  }
 
  
  function menu_traverse(element,url) {
    // walk down
    for (var i=(element.childNodes.length-1); i>=0; i--) {
      var child = element.childNodes[i];
      menu_traverse(child,url);
    }
    
    switch (element.tagName) {
      case "UL":
       hilightME = 1;
        break;
        
      case "LI":
        break;
        
      case "A": 
	  var href = element.getAttribute("href");
	  if(menu_isSameUrl(url, href)) hilightME = 1;
        if (!hilightME) break;
		hilightME = 0       
		element.className = "on";
        break;
	  }
    
  }
  
  //matches two URIs when href is the last part of url
  //.. and . are correctly resolved
  function menu_isSameUrl(url, href) {
    var a = url.split(/[?\/]/i);
    var b = href.split(/[?\/]/i);
    var i = a.length - 1;
    var j = b.length - 1;
    while ((i >= 0) && (j >= 0)) {
      if (b[j] == "..") { j-=2; continue; }
      if (a[i] == "..") { i-=2; continue; }
      if ((b[j] == ".") || (b[j] == "")) { j--; continue; }
      if ((a[i] == ".") || (a[i] == "")) { i--; continue; }
      if (! (a[i] == b[j])) return false;
      i--;
      j--;
    }
    return true;
  }