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] = "Bienvenus";
voci[1] = "Info generales";
voci[2] = "Le staff";
voci[3] = "Moyen de travail";
voci[4] = "Documentation";
voci[5] = "Le 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/FR/benvenutifr.html";
link[1] = "http://www.studiocicuto.t35.com/FR/infopersfr.html";
link[2] = "http://www.studiocicuto.t35.com/FR/infostafffr.html";
link[3] = "http://www.studiocicuto.t35.com/FR/strumentifr.html";
link[4] = "http://www.studiocicuto.t35.com/FR/docindexfr.html";
link[5] = "http://www.studiocicuto.t35.com/FR/copyrightfr.html";
link[6] = "http://www.studiocicuto.t35.com/FR/contattifr.html";
link[7] = "http://www.studiocicuto.t35.com/FR/percorsofr.html";

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