if(document.cookie.indexOf('style=1')>=0)
  
document.write('<link rel="stylesheet" type="text/css" href="04mainstyles2.css">\n' + '<link rel="alternate stylesheet" type="text/css" href="04mainstyles1.css" title="smaller text">\n' + '<link rel="alternate stylesheet" type="text/css" href="04mainstyles.css" title="normal text">\n');
	else if (document.cookie.indexOf('style=2')>=0)
  
document.write('<link rel="stylesheet" type="text/css" href="04mainstyles.css">\n' + '<link rel="alternate stylesheet" type="text/css" href="04mainstyles2.css" title="bigger text">\n' + '<link rel="alternate stylesheet" type="text/css" href="04mainstyles1.css" title="normal text">\n');
	else document.write('<link rel="stylesheet" type="text/css" href="04mainstyles1.css">\n' + '<link rel="alternate stylesheet" type="text/css" href="04mainstyles.css" title="bigger text">\n' + '<link rel="alternate stylesheet" type="text/css" href="04mainstyles2.css" title="smaller text">\n');

function chooseStyle (newstyle){
  
var expdate = new Date();
  
expdate.setTime(expdate.getTime() + (1000*3600*24*365));
  
document.cookie = 'style=' + newstyle + '; expires=' + expdate.toGMTString() + '; path=/';
  
self.location = self.location;
  
}