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="works.htm">Auteurs trotskystes');
document.write ('<option value="../trotsky/index.htm">Léon Trotsky');
document.write ('<option value="../blasco/index.htm">P. Tresso (Blasco)');
document.write ('<option value="../broue/index.htm">P. Broué');
document.write ('<option value="../cannon/index.htm">J.P. Cannon');
document.write ('<option value="../grant/index.htm">T. Grant');
document.write ('<option value="../just/index.htm">Stéphane Just');
document.write ('<option value="../barta/index.htm">Barta (D. Korner)');
document.write ('<option value="../leon/index.htm">Abraham Léon');
document.write ('<option value="../mandel/index.htm">Ernest Mandel');
document.write ('<option value="../moreno/index.htm">Nahuel Moreno');  
document.write ('<option value="../rakovsky/index.htm">Khristian Rakovsky');
document.write ('<option value="../rosmer/index.htm">Alfred Rosmer');
document.write ('</select>');
document.write ('</form></td><td align=center>');

}
makeMyMenu();