// JavaScript Document
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;
}