	function showsmall(url,x,y,pos,nm)
		{
			var mysize=new Array();

			mysize=screensize();
			w=mysize[0];
			h=mysize[1];
			t=0;
			l=0;

			switch (pos)
			{
			case 1:t=150; l=0; break;
			case 2:t=170; l=w-y-40; break;
			case 3:t=h-x-100; l=0; break;
			case 4:t=h-x-100; l=w-y-10; break;
			}
			window.open(url,nm,'height='+eval(x)+', width='+eval(y)+', scrollbars=no, resizable=no, top='+eval(t)+', left='+eval(l),false);
		}

	function closeopen(url)
		{
			window.open(url);
			window.close();
		}


	function screensize()
		{
			var height=0;
			var width=0;
			var sz=new Array();

			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; 
			}
			sz[0]=width;
			sz[1]=height;
		return (sz);
		}
