if(document.cookie.indexOf('TPstyle=1')>=0) 
	document.write('<link rel="stylesheet" type="text/css" href="/styles1.css">\n');
else document.write('<link rel="stylesheet" type="text/css" href="/styles0.css">\n'); 
        
function chooseStyle (newstyle){
	var expdate = new Date();
	expdate.setTime(expdate.getTime() + (1000*3600*24*365));
	document.cookie = 'TPstyle=' + newstyle + '; expires=' + expdate.toGMTString() + '; path=/';
	//alert ('This style choice will persist for a year unless changed again.\n You may need to reload the page.');
	self.location = self.location;
	}