// $Id$

// name - name of the desired cookie
// * return value of specified cookie or null if cookie does not exist
function getCookie(name)
    {
    var start = document.cookie.indexOf(name + "=");
    if (start == -1) return null;
    if (start > 2 && document.cookie.substring(start - 2, start) != '; ')
    	return null;
    start +=name.length + 1;

    var end = document.cookie.indexOf( ";", start );
    if (end == -1) end = document.cookie.length;

    return decodeURIComponent(document.cookie.substring(start, end));
    }

function setCookie(name, value, expSecs, domain)
    {
    var expires = "";
    if (typeof ( domain ) == "undefined" )
	domain = "";
    else
	domain = ';domain=' + domain + ';';
    if (expSecs)
	{
	var date = new Date();
	date.setTime(date.getTime() + (expSecs * 1000));
	expires = ";expires=" + date.toGMTString();
	}
    value = encodeURIComponent(value);
    document.cookie = name + "=" + value + expires + ";path=/;" + domain;
    }

// name - name of the cookie
// [path] - path of the cookie (must be same as used to create cookie)
// [domain] - domain of the cookie (must be same as used to create cookie)
// * path and domain default to "" if assigned null or omitted
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";
  }
}