<!--

function change(tab) { 
	tab.background= "grafiche/bg_tab_sx.gif"
}
function ripristina(tab) { 
	tab.background= "grafiche/bg_puls.gif"
}

//-->