function menu_goto( menuform )
{
  var baseurl = 'http://www.wintergreenresearch.com/' ;
  selecteditem = menuform.url.selectedIndex ;
  newurl = menuform.url.options[ selecteditem ].value ;
  if (newurl.length != 0) {
    location.href = baseurl + newurl ;
  }
}


document.writeln( '<form action="goto" method="get">' );
document.writeln( '<select id="s" name="url" onchange="menu_goto(this.form)">' );
document.writeln( '<option value="#">English</option>' );
document.writeln( '<option value="langs/arabic.html?1">Arabic</option>' );
document.writeln( '<option value="langs/chinese.html?2">Chinese</option>' );
document.writeln( '<option value="langs/danish.html?3">Danish</option>' );
document.writeln( '<option value="langs/dutch.html?4">Dutch</option>' );
document.writeln( '<option value="langs/finnish.html?5">Finnish</option>' );
document.writeln( '<option value="langs/french.html?6">French</option>' );
document.writeln( '<option value="langs/german.html?7">German</option>' );
document.writeln( '<option value="langs/greek.html?8">Greek</option>' );
document.writeln( '<option value="langs/hebrew.html?9">Hebrew</option>' );
document.writeln( '<option value="langs/italian.html?10">Italian</option>' );
document.writeln( '<option value="langs/japanese.html?11">Japanese</option>' );
document.writeln( '<option value="langs/korean.html?12">Korean</option>' );
document.writeln( '<option value="langs/norwegian.html?13">Norwegian</option>' );
document.writeln( '<option value="langs/polish.html?14">Polish</option>' );
document.writeln( '<option value="langs/portuguese.html?15">Portuguese</option>' );
document.writeln( '<option value="langs/russian.html?16">Russian</option>' );
document.writeln( '<option value="langs/spanish.html?17">Spanish</option>' );
document.writeln( '<option value="langs/swedish.html?18">Swedish</option>' );
document.writeln( '<option value="langs/thai.html?19">Thai</option>' );
document.writeln( '</select>' );
document.writeln( '</form>' );


var query = window.location.search;

if (query.substring(0, 1) == '?') {
     query = query.substring(1);
}

document.getElementById( 's' ).options[ query ].selected = true ;