function lastmodified(){
	lastmod=new Date(document.lastModified)
	return lastmod.toGMTString().substring(0,16)
}
function setCookie(name, value, days) {
  var today = new Date();
  var expires = new Date();
  expires.setTime(today.getTime() + 1000*3600*24*days);
  document.cookie = name + "=" + escape(value)
+ ((days == null) ? "" : ("; expires=" + expires.toGMTString()))
}
function getCookie(Name) {
  var search = Name + "=";
  if (document.cookie.length > 0) { // if there are any cookies
	offset = document.cookie.indexOf(search);
	if (offset != -1) { // if cookie exists
		offset += search.length;
		// set index of beginning of value
		end = document.cookie.indexOf(";", offset);
		// set index of end of cookie value
		if (end == -1);
		end = document.cookie.length;
		return unescape(document.cookie.substring(offset, end));
	}
  }
}