function choosestyle (newstyle){
var expdate = new Date();
expdate.setTime(expdate.getTime() + (1000*3600*24*365));
document.cookie = 'style=' + newstyle + '; path=/';
//expires=' + expdate.toGMTString() + ';
//alert ('This style choice will persist for a year unless changed again.\n You may need to reload the page.');
self.location = self.location;
}
if(document.cookie.indexOf('style=print')>=0)
document.write('\n');
else if (document.cookie.indexOf('style=global')>=0)
document.write('\n');
else document.write('\n');