/* $Revision$ */

function setCookie(name, value, expires)
{
	document.cookie = name + "=" + escape(value) + ((expires)? "; expires=" + expires.toGMTString() : "");
}

function getCookie(name)
{
	var prefix = name + "=";
	var cookieStartIndex = document.cookie.indexOf(prefix);

        if (cookieStartIndex == -1) {
                return null;
	}

        var cookieEndIndex = document.cookie.indexOf(";", cookieStartIndex + prefix.length);

        if (cookieEndIndex == -1) {
                cookieEndIndex = document.cookie.length;
	}

        return unescape(document.cookie.substring(cookieStartIndex + prefix.length, cookieEndIndex));
}