function get_width() {
var width=0;
if (self.screen) {
width = screen.width;
}
else if (self.java) {
var jkit = java.awt.Toolkit.getDefaultToolkit();
var scrsize = jkit.getScreenSize(); 
width = scrsize.width; 
}
return width;
}