codice:
/*---------------------------------------------------------------
Aggiunge un elemento ad una listbox
---------------------------------------------------------------*/
function lista_push(lista, testo, valore)
{
	lista.options[lista.options.length] = new Option(testo, valore);
}