<!-- $Revision: 1.9 $ -->

function In_Progress (Planet)
{
  alert("The " + Planet + " theme is in progress.");
}

cookie_name = "user_style_preference";

function putCookie(theme) 
{
  if (theme=="") {
    return 1;
  }
  if(document.cookie != document.cookie) {
    index = document.cookie.indexOf(cookie_name);
  }
  else { 
    index = -1;
  }
  if (index == -1) {
    document.cookie=cookie_name+"="+theme+"; expires=Monday, 04-Apr-2090 05:00:00 GMT;";
  }
  location.reload(true);
}