var javascript_version = 1.0;
	javascript_version = 1.1;
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);
                  }
          }
	function doSearch() {
	document.searchfrm.submit();
}