<!--
function set_cookie_future(name, value, path, domain, secure) { 
	// create an instance of the Date object
	var expiredate = new Date();
	// fix the bug in Navigator 2.0, Macintosh
	fixDate(expiredate);
	// cookie expires in one year (actually, 365 days)
	// 365 days in a year
	// 24 hours in a day
	// 60 minutes in an hour
	// 60 seconds in a minute
	// 1000 milliseconds in a second
	expiredate.setTime(expiredate.getTime() + 365 * 24 * 60 * 60 * 1000);

	set_cookie(name, value, expiredate, path, domain, secure);
} 


function set_cookie(name, value, expires, path, domain, secure) { 
	var curCookie = name + "=" + 
		escape(value) + 
		((expires) ? "; expires=" + expires.toGMTString() : "") + 
		((path) ? "; path=" + path : "") + 
		((domain) ? "; domain=" + domain : "") + 
		((secure) ? "; secure" : ""); 

		document.cookie = curCookie; 
} 

function get_cookie(name) { 
	var dc = document.cookie; 
	var prefix = name + "="; 
	var begin = dc.indexOf("; " + prefix); 
	if (begin == -1) { 
		begin = dc.indexOf(prefix); 
		if (begin != 0) return null; 
	} 
	else begin += 2; 
	var end = document.cookie.indexOf(";", begin); 
	if (end == -1) end = dc.length; 
	return unescape(dc.substring(begin + prefix.length, end)); 
} 

// date - any instance of the Date object
// * hand all instances of the Date object to this function for "repairs"
function fixDate(date) {
  var base = new Date(0);
  var skew = base.getTime();
  if (skew > 0)
    date.setTime(date.getTime() - skew);
}

// for debug only
function delete_cookie(name) {
  if (get_cookie(name)) {
    document.cookie = name + "=; path=/; expires=Thu, 01-Jan-70 00:00:01 GMT";
  }
}
//-->