if(document.cookie.indexOf('style=1')>=0)
document.write(' \n');
else if (document.cookie.indexOf('style=2')>=0)
document.write('\n');
else if (document.cookie.indexOf('style=3')>=0)
document.write('\n');
else if (document.cookie.indexOf('style=4')>=0)
document.write('\n');
else if (document.cookie.indexOf('style=5')>=0)
document.write('\n');
else document.write('\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;
}