<SCRIPT LANGUAGE="JavaScript">
document.write('<SELECT NAME="menu" ' +
  'onChange="uberNav(this.form);">');
for (var i=0; i<pages.length; i++) {
  document.write('<OPTION>' + pages[i]);
}
document.write('</SELECT>');
</SCRIPT>