function submitCookieYes()
{
	var expdate = new Date ()
	expdate.setTime(expdate.getTime() + (8760 * 60 * 60 * 1000))
	SetCookie('DisplayMenus', 'Yes', expdate)
}
function submitCookieNo()
{
	var expdate = new Date ()
	expdate.setTime(expdate.getTime() + (8760 * 60 * 60 * 1000))
	SetCookie('DisplayMenus', 'No', expdate)
}
function submitCookieTS1()
{
	var expdate = new Date ()
	expdate.setTime(expdate.getTime() + (8760 * 60 * 60 * 1000))
	SetCookie('TextSize', '1', expdate)
}
function submitCookieTS2()
{
	var expdate = new Date ()
	expdate.setTime(expdate.getTime() + (8760 * 60 * 60 * 1000))
	SetCookie('TextSize', '2', expdate)
}
function submitCookieTS3()
{
	var expdate = new Date ()
	expdate.setTime(expdate.getTime() + (8760 * 60 * 60 * 1000))
	SetCookie('TextSize', '3', expdate)
}
function submitCookieTS4()
{
	var expdate = new Date ()
	expdate.setTime(expdate.getTime() + (8760 * 60 * 60 * 1000))
	SetCookie('TextSize', '4', expdate)
}
function submitCookieTS5()
{
	var expdate = new Date ()
	expdate.setTime(expdate.getTime() + (8760 * 60 * 60 * 1000))
	SetCookie('TextSize', '5', expdate)
}

	function getCookieVal (offset) {
	  var endstr = document.cookie.indexOf (";", offset);
	  if (endstr == -1)
		endstr = document.cookie.length;
	  return unescape(document.cookie.substring(offset, endstr));
	}

	function GetCookie (name) {
	  var arg = name + "=";
	  var alen = arg.length;
	  var clen = document.cookie.length;
	  var i = 0;
	  while (i < clen) {
		var j = i + alen;
		if (document.cookie.substring(i, j) == arg)
		  return getCookieVal (j);
		i = document.cookie.indexOf(" ", i) + 1;
		if (i == 0) break; 
	  }
	  return null;
	}

	function SetCookie (name, value) {
	  var argv = SetCookie.arguments;
	  var argc = SetCookie.arguments.length;
	  var expires = (argc > 2) ? argv[2] : null;
	  var domain = (argc > 4) ? argv[4] : null;
	  var secure = (argc > 5) ? argv[5] : false;
	  document.cookie = name + "=" + escape (value) +
		((expires == null) ? "" : ("; expires=" + expires.toGMTString())) +
		("; path=/") +
		((domain == null) ? "" : ("; domain=" + domain)) +
		((secure == true) ? "; secure" : "");
	}

	function DeleteCookie (name) {
	  var exp = new Date();
	  exp.setTime (exp.getTime() - 1);  // This cookie is history
	  var cval = GetCookie (name);
	  document.cookie = name + "=" + cval + "; expires=" + exp.toGMTString();
	}