function set_cookie( name, value, path, exp_y, exp_m, exp_d, domain, secure ) {
	var cookie_string = name + "=" + escape(value);
	if (path)
		cookie_string += "; path=" + escape(path);
	if (exp_y) {
		var expires = new Date( exp_y, exp_m, exp_d );
		cookie_string += "; expires=" + expires.toGMTString();
	}
	if (domain)
		cookie_string += "; domain=" + escape(domain);
	if (secure)
		cookie_string += "; secure";
	document.cookie = cookie_string;
}

function get_cookie(cookie_name) {
	var results = document.cookie.match( '(^|;) ?' + cookie_name + '=([^;]*)(;|$)' );
	if (results)
		return( unescape(results[2]) );
	else
		return null;
}

function delete_cookie(cookie_name) {
	var cookie_date = new Date();  // current date & time
	cookie_date.setTime(cookie_date.getTime() - 1);
	document.cookie = cookie_name += "=; expires=" + cookie_date.toGMTString();
}