// JavaScript Document
<!--
function getCookie(name) { // use: getCookie("name");
    var index = vgetCookie.indexOf(name + "=");
    if (index == -1) return null;
    index = vgetCookie.indexOf("=", index) + 1;
    var endstr = vgetCookie.indexOf(";", index);
    if (endstr == -1) endstr = vgetCookie.length;
    return unescape(vgetCookie.substring(index, endstr));
}

function setCookie(name, value) {
    if (value != null && value != "")
      document.cookie=name + "=" + escape(value) + "; expires=" + expiry.toGMTString();
    vgetCookie = document.cookie;
}
//-->