function set_cookie(name, value) {
	document.cookie=name+"="+value+"; expires=Monday, 04-Apr-2010 05:00:00 GMT; path=/";
	location.href=location.href;
};