// Code based on JS Cookie script found @
// http://www.echoecho.com/jscookies.htm

function setCookie(NameOfCookie, value, expiredays)
{
	var ExpireDate = new Date ();
	ExpireDate.setTime(ExpireDate.getTime() + (expiredays * 24 * 3600 * 1000));
	document.cookie = NameOfCookie + "=" + escape(value) +
	((expiredays == null) ? "" : "; expires=" + ExpireDate.toGMTString());
}

function delCookie(NameOfCookie)
{
	document.cookie = NameOfCookie + "=" +
	"; expires=Thu, 01-Jan-1970 00:00:01 GMT";
}