// Cookie utilities

function getCookie(name)
{
	var pos = document.cookie.indexOf(name);
	if(pos != -1)
	{
		var start = pos + name.length + 1; // add one for '=' after the cookie name
		var end = document.cookie.indexOf(";", start);
		if(end == -1)
			end = document.cookie.length;
		return unescape(document.cookie.substring(start,end));
	}
	return null;
}

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