function delCookie(name) {
	today=new Date();
	document.cookie=name+"=; expires="+today.toGMTString()+"; domain=|_DOMAIN_|"; /* We expire now */
}

function setCookie(name,value) {
	/* Figure out when our cookies should expire (1 year from now) */
	today=new Date();
	expire=new Date(new Date().getTime()+3600000*24*365);
	document.cookie=name+"="+escape(value)+"; expires="+expire.toGMTString()+"; domain=|_DOMAIN_|";
}

function getCookie(name) {
	start=document.cookie.indexOf(name+"=");
	if (start<0)
		return false;
	/* Get the value, other cookie info may still be at the end */
	value=document.cookie.slice(start+name.length+1);
	/* Discard anything after a semicolon to drop data from other cookies */
	if (value.indexOf(";")>=0)
		value=value.slice(0,value.indexOf(";"));
	return unescape(value);
}