//Sets and reads coockies from JS
//To delete a cookie with a given name, set a cookie that has the same name and an 
//expiration date in the past


function SetCookie(cookieName,cookieValue,nDays) {
	var today = new Date();
	var expire = new Date();
	if (nDays==null || nDays==0) nDays=1;
	expire.setTime(today.getTime() + 3600000*24*nDays);
	document.cookie = cookieName+"="+escape(cookieValue)
					+ ";expires="+expire.toGMTString();
}

function ReadCookie(cookieName) {
	var theCookie=""+document.cookie;
	var ind=theCookie.indexOf(cookieName);
	if (ind==-1 || cookieName=="") return ""; 
	var ind1=theCookie.indexOf(';',ind);
	if (ind1==-1) ind1=theCookie.length; 
	return unescape(theCookie.substring(ind+cookieName.length+1,ind1));
}

function SetScroll()
{
	if (ReadCookie('SurveyScroll') != "")
	{
		thebody.scrollTop = parseInt(ReadCookie('SurveyScroll'));
		SetCookie('SurveyScroll',0,-1);
	}
}

function SaveScroll()
{
	SetCookie('SurveyScroll',thebody.scrollTop,1); 
}