function toggleLayer(whichLayer)
	{if (document.getElementById)
	{var style2 = document.getElementById(whichLayer).style;style2.display = style2.display? "":"block";}}


// ############################################################################


function saltaPagina(nuovoLuogo) {
nuovaPagina=nuovoLuogo.options[nuovoLuogo.selectedIndex].value
if (nuovaPagina!=""){
window.location.href=nuovaPagina
}
}

// ############################################################################