<!-- 
function iniziale() {
if (document.all) {
  document.body.style.behavior = 'url(#default#homepage)';
  document.body.setHomePage(document.location.href);
} else {
  alert("Funzione abilitata solo per Internet Explorer");
}
}

function changeFontSize(element,step)
{
	step = parseInt(step,10);
	var el = document.getElementById(element);
	var curFont = parseInt(el.style.fontSize,10);
	el.style.fontSize = (curFont+step) + 'px';
}

document.write("<table border='0' cellspacing='0' cellpadding='2' width='100%' class='cornice-pulsanti' style='margin: auto;'><tr><td><table border='0' cellspacing='0' cellpadding='0' width='100%' class='pulsanti' style='margin: auto;'><tr><td><a href='javascript:void(0)' title='aggiungi questa pagina ai siti preferiti' onclick='bookmarkSite()'>aggiungi questa pagina ai siti preferiti</a></td><td><a href='javascript:void(0)' title='imposta questa pagina come home page' onclick='iniziale()'>imposta come home page</a></td><td><a href='javascript:void(0)' title='aumenta la grandezza dei caratteri' onclick=\"changeFontSize('box','2');\">aumenta la grandezza dei caratteri</a></td><td><a href='javascript:void(0)' title='diminuisci la grandezza dei caratteri' onclick=\"changeFontSize('box',-2);\">diminuisci la grandezza dei caratteri</a></td></tr></table></td></tr></table>")
// -->