function prendiElementoDaId(id_elemento) {
			 // elemento da restituire
			 var elemento;
			 
			 // se esiste il metodo getElementById
			 // questo if sarà diverso da false, null o undefined
			 // e sarà quindi considerato valido, come un true
			 if(document.getElementById)
			  elemento = document.getElementById(id_elemento);
			 
			 // altrimenti è necessario usare un vecchio sistema
			 else
			  elemento = document.all[id_elemento];
			
			 // restituzione elemento
			 return elemento;
		}