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