// cookie to remember where last search was performed
var Cookies = {
	
	setLastSearchPage: function()
	{
		document.cookie = "lastsearchurl=http://"+ window.location.host + window.location.pathname +"; path=/";
	},
	
	getLastSearchPage: function()
	{
		return this.readCookie("lastsearchurl");
	},
	
	readCookie: function(name) {
		var nameEQ = name + "=";
		var ca = document.cookie.split(';');
		for(var i=0;i < ca.length;i++) {
			var c = ca[i];
			while (c.charAt(0)==' ') c = c.substring(1,c.length);
			if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
		}
		return null;
	},
	
	goToLastSearchPage: function()
	{
		window.location.href = this.readCookie("lastsearchurl");
	}
};