<!--
if (navigator.appName == "Netscape" && navigator.javaEnabled()) {
 var toolkit = java.awt.Toolkit.getDefaultToolkit();
 if (!screen_width) {
  var screen_size = toolkit.getScreenSize();
  screen_width = screen_size.width;
  screen_height = screen_size.height;
 }
 resolution = toolkit.getScreenResolution();
}
// -->