// JavaScript Document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);	}}