if(!document.getElementById)
document.write('\n');
else if(document.cookie.indexOf('style=1')>=0)
document.write(' \n');
else if (document.cookie.indexOf('style=2')>=0)
document.write('\n' + '\n');
else document.write('\n');
function chooseStyle (newstyle){
document.cookie = 'style=' + newstyle + '; path=';
self.location = self.location;
}