function whatsnew_menu(newsyear) {
  var time = new Date();
  var year = time.getYear();
  
  if (year < 1900) {
    year = year + 1900;
  }
  
  var first_year = 2000;
  
  document.writeln("<p align=center><font face=\"Helvetica, Verdana, Arial\" size=\"3\"><b>What\'s New at <font face=\"Helvetica, Verdana, Arial\" size=\"3\"><b><font color=\"#000099\">O</font></b><font color=\"#cc0000\">D</font><font color=\"#000099\">E</font><font face=\"Helvetica, Verdana, Arial\" size=\"3\"><b> in "+newsyear+"</b></font></b></font></p>");
  document.writeln("<table align=center width=95%; border=0><tr align=right class=\"text\">");
  document.writeln("<td><form name=\"year\">News in");
  document.write("<select name=\"selected\" onChange=\"whatFile(document.year.selected.options[document.year.selected.selectedIndex].value)\">");
  do{
  	if (year == newsyear) {
      document.write("<option value=\""+year+"news.html\" selected>"+year+"</option>");
  	}
  	else {
  	  document.write("<option value=\""+year+"news.html\">"+year+"</option>");
  	}
  	year--;
  }while(year>=first_year)
  document.write("</select>");
  document.writeln("</font></td></tr></table>");
}

function whatFile(here) {
var w = window.open(here,"_top");
}