// JavaScript Document
<!--
function setCookie(TypeofCookie, NameOfCookie, value, path, expiredays) {
 var ExpireDate = new Date();
 ExpireDate.setTime(ExpireDate.getTime() + (expiredays * 24 * 3600 * 1000));
 document.cookie = TypeofCookie + "=" + NameOfCookie + "=" + escape(value) + 
 ((path == null) ? "" : "; path=" + path) +
 ((expiredays == null) ? "" : "; expires=" + ExpireDate.toGMTString());
}

function changeMenuState(value) {
 Menu = value;
}

function getMenuState() {
 Menu = getCookie('Menu');
 if (Menu != null) {
  if (Menu == "1") {
   Menu = "0";
  }
  else {
   Menu = "1";
  }
 }	
 else {
  Menu = "1";
 }
}

Menu = "1";
//-->