// for NN4/IE4
if (self.screen) {     
        width = screen.width
        height = screen.height
}

// for NN3 w/Java
else if (self.java) {   
       var javakit = java.awt.Toolkit.getDefaultToolkit();
       var scrsize = javakit.getScreenSize();       
       width = scrsize.width; 
       height = scrsize.height; 
}
else {

// N2, E3, N3 w/o Java (Opera and WebTV)
width = height = '?' 
}

if(width == "800"){
	document.write('<script src="javamenu800.1"></script>');
}
else if (width == "1024") {
	document.write('<script src="javamenu.1"></script>');
}
else if(width == "1280") {
	document.write('<script src="javamenu1280.1"></script>');
}
else {
	document.write('<script src="javamenu1280.1"></script>');
}
document.write('<script src="javamenu.2"></script>')