// cookie.js: Javascript for cookies

function GetCookie(name)
{
	var search = name + "=";
	if (document.cookie.length <= 0)
		return null;
	var offset = document.cookie.indexOf(search)       
	if (offset == -1)
		return null;
	offset += search.length;
	var end = document.cookie.indexOf(";", offset);
	if (end == -1)
		end = document.cookie.length;
	var value = unescape(document.cookie.substring(offset, end));
//alert('cookie '+name+' is at:'+offset+'\n\ncookie value='+value+'\n\n'+document.cookie);
	return value;
}

function setCookie_(name, value, expires, path, domain, secure)
{ 
	var curCookie = name + "=" + escape(value) + 
		((path && path!='')		? "; path=" + path : "") + 
		((expires)				? "; expires=" + expires.toGMTString() : "") + 
		((domain)				? "; domain=" + domain : "") + 
		((secure)				? "; secure" : "");
//alert(curCookie);
	document.cookie = curCookie; 
}

function SetCookie(name, value, days, path) 
{
	var expires	= null;
	var domain	= null;
	var secure	= null;
	if (days == null) {
		// Not passed
	} else if (days == 0) {
		// '0' deletes cookie
		expires = new Date();
		expires.setTime(expires.getTime() - 1800000);  
	} else if (days > 0) {
		expires = new Date();
		expires.setTime(expires.getTime() + (days * 86400000)); // 86400000ms in one day
	}
	setCookie_(name, value, expires, path, domain, secure);
}

function DeleteCookie(name, path) 
{
	SetCookie(name, '', 0, path);
}