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