<!--
window.onerror = HandleError;function HandleError() {return true}

function memorizzaCSS(css) {
	createCookie('style',css,365);
	location.reload();
}

function setCSS(css) {
	var href_ = {
		"default": "css/stile.css",
		"hicontrast": "css/hicontrast.css"
	};
	var link_ = document.getElementsByTagName("link");
	for ($i=0;$i<link_.length;$i++)
		if(link_[$i].media=="screen" && link_[$i].title=="skin" && href_[css])
			link_[$i].href=href_[css];
}


var css = readCookie('style');
if(css) setCSS(css);
-->