<!--

function java_main ()
{
  var e;
  e = document.getElementById ("focus_first");
  if (e) e.focus();
}


//-->