if (!document.getElementById) {
  document.getElementById = function() {
    return null;
  }
}
function initMenu() {
  var menu = document.getElementById("menuList");
  if (menu != null) {
    var items = menu.getElementsByTagName("li");
    for (var i = 0; i < items.length; i++) {
      items[i].firstChild.myIndex = i;
      items[i].firstChild.onclick = function() {
        setCookie("menuSelected", this.myIndex);
      };
    }
    activateMenu();
  }
}
function activateMenu() {
  var menu = document.getElementById("menuList");
  var items = menu.getElementsByTagName("li");
  var menuSelected = getCookie("menuSelected") != null ? getCookie("menuSelected") : 0;
  if (items[menuSelected].parentNode.className == "submenu") {
    items[menuSelected].firstChild.className = "selected";
    items[menuSelected].parentNode.parentNode.className = "selected";
  } else {
    items[menuSelected].className += "selected";
  }
}
// Select the menu that matches the URL when the page loads
//window.onload = initMenu;

// =========================================================================
//                          Cookie functions 
// =========================================================================
/* This function is used to set cookies */
function setCookie(name, value, expires, path, domain, secure) {
  document.cookie = name + "=" + escape(value) + ((expires) ? "; expires=" + expires.toGMTString() : "") + ((path) ?
                                                                                                            "; path=" +
                                                                                                            path : "") +
                    ((domain) ? "; domain=" + domain : "") + ((secure) ? "; secure" : "");
}
/* This function is used to get cookies */
function getCookie(name) {
  var prefix = name + "="
  var start = document.cookie.indexOf(prefix)
  if (start == -1) {
    return null;
  }
  var end = document.cookie.indexOf(";", start + prefix.length)
  if (end == -1) {
    end = document.cookie.length;
  }
  var value = document.cookie.substring(start + prefix.length, end)
  return unescape(value);
}
/* This function is used to delete cookies */
function deleteCookie(name, path, domain) {
  if (getCookie(name)) {
    document.cookie = name + "=" + ((path) ? "; path=" + path : "") + ((domain) ? "; domain=" + domain : "") +
                      "; expires=Thu, 01-Jan-70 00:00:01 GMT";
  }
}