// $Id$

function getCookie(name)
{
    if(document.cookie.length > 0)
    {
        begin = document.cookie.indexOf(name + '=')
        if(begin != -1)
        {
            begin += name.length + 1
            end = document.cookie.indexOf(';', begin)
            if(end == -1)
                end = document.cookie.length

            var cookievalue = document.cookie.substring(begin, end)

            return unescape(cookievalue)
        }
    }
    return null;
}

function setCookie(name, value, days)
{
	if (days) 
	{
		var date = new Date();
		date.setTime(date.getTime()+(days*24*60*60*1000));
		var expires = "; expires="+date.toGMTString();
	}
	else var expires = "";

	document.cookie = name+"="+value+expires+"; path=/";
}

function eraseCookie(name) 
{
	createCookie(name,"",-1);
}