// JavaScript Document
function menuOver(menu)  {
	menu.style.backgroundPosition = '160px 0px';
}
function menuOut(menu)  {
	menu.style.backgroundPosition = '0px 0px';
}

function nascondi(numid, tot) {
var tot
for (n=1; n<=tot; n++) {
document.getElementById("pag" + n).style.display = "none";
}
document.getElementById("pag" + numid).style.display = "";
}