var newwin;
	        function launchwin(winurl,winname,winfeatures)
			      {
				   //This launches a new window and then
				   //focuses it if window.focus() is supported.
				   newwin = window.open(winurl,winname,winfeatures);
						if(javascript_version > 1.0)
						{
							//delay a bit here because IE4 encounters errors
							//when trying to focus a recently opened window
							setTimeout('newwin.focus();',250);
						}
				  }