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);
	  }
}