// menu
function visualizza(elemento) {
	document.getElementById(elemento).style.visibility = "visible";
}

function chiudi(elemento) {
	document.getElementById(elemento).style.visibility = "hidden";
}

// rollover
function cambia(immagine,nome) {
	immagine.src = nome;
}