function getSize() 
{
	var height=0; 
	var width=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;
		}
	return width;
}

function getElement(id)
{
	return (document.getElementById) ? document.getElementById(id) : document.all[id];
}