if (self.screen) {     // for NN4 and IE4
        width = screen.width
        height = screen.height
// Testing this first prevents firing the slow Java of NN4
}
else if (self.java) {   // for NN3 with enabled Java
       var jkit = java.awt.Toolkit.getDefaultToolkit();
       var scrsize = jkit.getScreenSize();       
       width = scrsize.width; 
       height = scrsize.height; 
}
else{
 width = height = '?' // N2, E3, N3 w/Java off, probably Opera and WebTV

}
if (width <= 1600)  {
  document.write('<link rel="stylesheet" type="text/css" href="style/1600.css">');
}
if (width <= 1280)  {
  document.write('<link rel="stylesheet" type="text/css" href="style/1280.css">');
}
if (width <= 1024) {
  document.write('<link rel="stylesheet" type="text/css" href="style/1024.css">');
}
if (width <= 800) {
  document.write('<link rel="stylesheet" type="text/css" href="style/800.css">');
}
if (width <= 640) {
  document.write('<link rel="stylesheet" type="text/css" href="style/640.css">');
}
