<!--
function modifica(grandezza)
{
modificasize.style.fontSize = grandezza;
}
function newwin(pagina,finestra) {
window.open(pagina,finestra,"toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=1,resizeable=0,width=500,height=480")
}
//-->