function setCookie(name, value, expires, path, domain, secure) {
  var curCookie = name + "=" + escape(value) +
      ((expires) ? "; expires=" + expires : "") +
      ((path) ? "; path=" + path : "") +
      ((domain) ? "; domain=" + domain : "") +
      ((secure) ? "; secure" : "");
  document.cookie = curCookie;
}
function settheme(s)
{
	var hours = 30 * 24; // One month.
	var expireDate = (new Date((new Date()).getTime() + hours*3600000)).toGMTString();
	setCookie("theme", s, expireDate, "/");

	location.reload();
}