if(document.cookie.indexOf('style=1')>=0) document.write('<link rel="stylesheet type="text/css" href="jcb_standard.css" />\n'); 
else if (document.cookie.indexOf('style=2')>=0) document.write('<link rel="stylesheet" type="text/css" href="jcb_gross.css" />\n'); 
else document.write('<link rel="stylesheet" type="text/css" href="jcb_klein.css" />\n'); 

function auswahl (wahl) {
   var expdate = new Date();
   expdate.setTime(expdate.getTime() + (1000*3600*24*365));
   document.cookie = 'style=' + wahl + '; expires=' + expdate.toGMTString() + '; path=/';
   self.location = self.location;
}