//
// Cookie code collected and created by Werner Knudsen, wkn@post1.com.
//
// Exported functions:
//     getCookie (name) returns cookie value or null.
//     setCookie (name, value, expdate) 
//     setTempCookie (name, value) 
//     delCookie (name)
//
// Example variable definition (cookie name "MyCookie", expiration in 1 year)
//     var expdate = new Date();
//     expdate.setTime(expdate.getTime() +  (365 * 24 * 60 * 60 * 1000));
//     var cookieName = "MyCookie";


     function getCookie (name) {
     var dcookie = document.cookie;
     var cname = name + "=";
     var clen = dcookie.length;
     var cbegin = 0;
             while (cbegin < clen) {
             var vbegin = cbegin + cname.length;
                     if (dcookie.substring(cbegin, vbegin) == cname) {
                     var vend = dcookie.indexOf (";", vbegin);
                             if (vend == -1) vend = clen;
                     var S = dcookie.substring(vbegin, vend);
                     S = substPlus (S);
                     return unescape(S);
                     }
             cbegin = dcookie.indexOf(" ", cbegin) + 1;
                     if (cbegin == 0) break;
             }
     return null;
     }

     function setCookie (name, value, expires) {
	if (!expires) setTempCookie (name, value);
	else
		document.cookie = name + "=" + escape (value) + "; expires=" + expires.toGMTString() +  "; path=/";
     }

     function setTempCookie (name, value) {
     document.cookie = name + "=" + escape (value) + "; path=/";
     }

     function delCookie (name) {
     var expireNow = new Date();
     document.cookie = name + "=" +
     "; expires=Thu, 01-Jan-70 00:00:01 GMT" +  "; path=/";
     }