function setCookie(name,value,ttl)
{
    if (ttl)
    {
	var date = new Date();
	date.setTime(date.getTime()+ttl);
	var expires = "; expires="+date.toGMTString();
    }
    else var expires = "";
    document.cookie = name+"="+value+expires;
}

function getCookie(name)
{
    var nameEQ = name + "=";
    var cookies = document.cookie.split(';');
    for(var i=0;i < cookies.length;i++)
    {
	var c = cookies[i];
	while (c.charAt(0)==' ') c = c.substring(1,c.length);
	if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
    }
    return false;
}

function delCookie(name)
{
    setCookie(name,"",-1);
}