function selectaplace(form) {
var appname= navigator.appName;
var appversion=parseInt(navigator.appVersion);
if (appname == "Netscape" && appversion >= 3) {
var formindex=form.select1.selectedIndex;
var storage=form.select1.options[formindex].text;
if (form.select1.options[formindex].value != "none") {
var msg=storage+"You are now being transferred to the -> "+storage;
for (var spot=0;spot<msg.length-storage.length;spot++) {
var x=msg.substring(spot,msg.length);
form.select1.options[formindex].text=x;
for(var d=0;d<150;d++) { };
}
window.location=form.select1.options[formindex].value;
form.select1[formindex].text=storage;
} else  {
form.select1[formindex].text="Choix invalide!";
for(var d=0;d<1250;d++) { };
form.select1[formindex].text=storage;
   }
}
else {
var formindex=form.select1.selectedIndex;
window.location=form.select1.options[formindex].value;
   }
}
function makeMyMenu() {
document.write ('<table align=center border=0><tr>');
document.write ('<td>');
document.write ('<form><select name="select1" onChange="selectaplace(this.form)" size=1>');
document.write ('<option value="index.htm">Voir aussi....');
document.write ('<option value="../broue/index.htm">P. Broué');
document.write ('<option value="../bordiga/index.htm">A. Bordiga');
document.write ('<option value="../boukharine/index.htm">N. Boukharine');
document.write ('<option value="../cannon/index.htm">J.P. Cannon');
document.write ('<option value="../gorter/index.htm">H. Gorter');
document.write ('<option value="../gramsci/index.htm">A. Gramsci');
document.write ('<option value="../kollontai/index.htm">A. Kollontai');
document.write ('<option value="../lenin/index.htm">Lénine');
document.write ('<option value="../loriot/index.htm">Fernand Loriot');
document.write ('<option value="../luxembur/index.htm">Rosa Luxemburg');
document.write ('<option value="../lukacs/index.htm">György Lukacs');
document.write ('<option value="../marty/1926/marty_19260402.htm">André Marty');
document.write ('<option value="../nin/index.htm">Andreu Nin');
document.write ('<option value="../rakovsky/index.htm">Khristian Rakovsky');
document.write ('<option value="../rosmer/index.htm">Alfred Rosmer');
document.write ('<option value="../roy/index.htm">M.N. Roy');
document.write ('<option value="../serge/index.htm">V. Serge');
document.write ('<option value="../thalheimer/index.htm">August Thalheimer');
document.write ('<option value="../trotsky/index.htm">Léon Trotsky');
document.write ('<option value="../zetkin/index.htm">Clara Zetkin');
document.write ('</select>');
document.write ('</form></td><td align=center>');

}
makeMyMenu();