function setCookie(id){
//	stores the page offset in a cookie
	var y;
	if(document.documentElement){
		y = document.documentElement.scrollTop;
	} else {
		y = document.pageYOffset;
	}
	document.cookie = "hotelPageOffset="+y;
	return false;
}

function readCookie(){
//	reads previous page offset and scrolls over there
//	(currently disabled due to problem with manual refresh)
	if(!document.cookie) return;
	var parts = document.cookie.split(";");
	var needed = parts[0];
	var i = needed.indexOf("=");
	var value = needed.substr(i+1);
	window.scrollTo(0,value);
}