if(!document.getElementById)
  
document.write('<link rel="stylesheet" type="text/css" href="/atsdrce/ns4.css" />\n');
	else if(document.cookie.indexOf('style=1')>=0)
  
document.write('<link rel="stylesheet" type="text/css" href="/atsdrce/alternate.css" />\n');
	else if (document.cookie.indexOf('style=2')>=0)
  
document.write('<link rel="stylesheet" type="text/css" href="/atsdrce/ns4.css" media="print" />\n' + '<link rel="stylesheet" type="text/css" href="/atsdrce/print.css" />\n');
	else document.write('<link rel="stylesheet" type="text/css" href="/atsdrce/default.css" />\n');

function chooseStyle (newstyle){
document.cookie = 'style=' + newstyle + '; path=';
self.location = self.location;
}