<!--
if(document.cookie.indexOf('style=1')>=0){
	document.write('<link rel="stylesheet" type="text/css" href="tekst.css" media="screen">\n');
}
else if (document.cookie.indexOf('style=2')>=0) {
	document.write('<link rel="stylesheet" type="text/css" href="flash.css" media="screen">\n');
}
else {
	document.write('<link rel="stylesheet" type="text/css" href="valg.css" media="screen">\n');
}

	function chooseStyle (newstyle){
		var expdate = new Date();
		expdate.setTime(expdate.getTime() + (1000*3600*24*365));
		document.cookie = 'style=' + newstyle + '; expires=' + expdate.toGMTString() + '; path=/';
		location.reload();
		}
-->