//retrocompatibilità del getElementById
function getElement(id_elemento) {
 var elemento;
 if(document.getElementById)
  elemento = document.getElementById(id_elemento);
 else
  elemento = document.all[id_elemento];
 return elemento;
}

// apre  un div (passato come argomento) senza animazioni
function toggleVisibility(divToShow){
	if (divToShow.style.display=='none' ){
		divToShow.style.display='block';
	}else{
		divToShow.style.display='none';
	}
}

function setG_Type(type){
	map.setMapType(type);
}