<!--
// This script block contains the function definitions for cookie management.

function setCookie(name,value,expiry,path,domain,secure) {
	// Set a new cookie
	// Arguments -
	// name: cookie name (string)          value: cookie value (unencoded string)
	// expiry: expiry date (date)          path: document path (string)
	// domain: document domain (string)    secure: secure required? (boolean)

	var nameString = (name) ? name + "=" + value + ";" : "";
	var expiryString = (expiry) ? " expires=" + expires.toGMTString() + ";" : "";
	var pathString = (path) ? " path=" + path + ";" : "";
	var domainString = (domain) ? " domain=" + domain + ";" : "";
	var secureString = (secure) ? " secure;" : "";
	document.cookie = nameString + expiryString + pathString + domainString + secureString;
}

function getCookie(name) {
	// get a cookie value
	// Arguments -
	// name: cookie name (string);

	var cookieFound = false;
	var start = 0;
	var end = 0;
	var cookieString = document.cookie;
	var i = 0;

	// Look for 'name' in cookieString
	while (i <= cookieString.length) {
		start = i;
		end = start + name.length;
		if (cookieString.substring(start,end) == name) {
			cookieFound = true;
			break;
		}
		i++;
	}
	// Check if name was found
	if (cookieFound) {
		start = end + 1;
		end = cookieString.indexOf(";",start);
		if (end < start) {
			end = cookieString.length;
		}
		return unescape(cookieString.substring(start,end));
	}
	// name was not found
	return "";
}

function deleteCookie(name) {
	// delete a cookie
	// Arguments -
	// name: cookie name (string);
	var expires = new Date();
	expires.setTime(expires.getTime() - 1);
	setCookie(name,"",expires,null,null,false);
}
//-->