function JumpMenu(links) {
//Crea un link all'indice della select selezionato
location.href = links[links.selectedIndex].value;
}

//Crea la tabella di dati contenente le voci delle possibili opzioni
var voci = new Array();
voci[0] = "Welcome";
voci[1] = "Info generals";
voci[2] = "The staff";
voci[3] = "Work tools";
voci[4] = "Documentation";
voci[5] = "The copyright";
voci[6] = "Contacts";
voci[7] = "Percours";

//Crea la tabella di dati contenente i link alle rispettive voci delle opzioni

var link = new Array();
link[0] = "http://www.studiocicuto.t35.com/EN/benvenutien.html";
link[1] = "http://www.studiocicuto.t35.com/EN/infopersen.html";
link[2] = "http://www.studiocicuto.t35.com/EN/infostaffen.html";
link[3] = "http://www.studiocicuto.t35.com/EN/strumentien.html";
link[4] = "http://www.studiocicuto.t35.com/EN/docindexen.html";
link[5] = "http://www.studiocicuto.t35.com/EN/copyrighten.html";
link[6] = "http://www.studiocicuto.t35.com/EN/contattien.html";
link[7] = "http://www.studiocicuto.t35.com/EN/percorsoen.html";

//Crea la struttura Html della select, all'evento onChange lancia la funzione
document.write("<select onChange=JumpMenu(this)>");
document.write("<option value=#>select...</option>");

//Esegue un ciclo ed estende tutte le voci del menu con i relativi valori
for(i=0; i<8; i++) {
document.write("<option value=" + link[i] + ">" + voci[i] + "</option>");
}
document.write("</select>");