		var HasDone = get_cookie("NewCSS");
		if(HasDone != null){
			replacecssfile(HasDone);
		}

function createcssfile(newhref){
  //if filename is an external CSS file
  var fileref=document.createElement("link")
  fileref.setAttribute("id", "NewCSS")
  fileref.setAttribute("rel", "stylesheet")
  fileref.setAttribute("type", "text/css")
  fileref.setAttribute("href", newhref)
 return fileref
}

function replacecssfile(newhref){
    var allsuspects=document.getElementsByTagName("link");
    var newelement=createcssfile(newhref)
     for (var i=allsuspects.length; i>=0; i--){ //search backwards within nodelist for matching elements to remove
         if (allsuspects[i] && allsuspects[i].getAttribute("id")!=null && allsuspects[i].getAttribute("id").indexOf("NewCSS")!=-1){
           allsuspects[i].parentNode.replaceChild(newelement, allsuspects[i])
 	       set_cookie("NewCSS",newhref,2008,12,1,"/",document.domain)
          return;
          }
     }
    document.getElementsByTagName("head")[0].appendChild(newelement)
	//Write a cookie.
	set_cookie("NewCSS",newhref,2008,12,1,"/",document.domain)
}
function set_cookie ( name, value, exp_y, exp_m, exp_d, path, domain, secure )
{
  var cookie_string = name + "=" + escape ( value );
  //JavaScript:alert(delete_cookie("NewCSS"))
    if (get_cookie(name) != null){
        delete_cookie(name);
    }
  if ( exp_y )
  {
    var expires = new Date ( exp_y, exp_m, exp_d );
    cookie_string += "; expires=" + expires.toGMTString();
  }

  if ( path )
        cookie_string += "; path=" + escape ( path );

  if ( domain )
        cookie_string += "; domain=" + escape ( domain );
  
  if ( secure )
        cookie_string += "; secure";
  
  document.cookie = cookie_string;
}
function get_cookie ( cookie_name )
{
// JavaScript:alert(document.domain)
//JavaScript:alert(document.cookie)
  var results = document.cookie.match ( cookie_name + '=(.*?)(;|$)' );

  if ( results )
    return ( unescape ( results[1] ) );
  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();
  return true;
}

