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