docs: function getSeleniumWindowNameURLparameters() {
      var w = (proxyInjectionMode ? selenium.browserbot.getCurrentWindow() : window).top;
      var s = "&seleniumWindowName=";
      if (w.opener == null) {
          return s;
      }
      if (w["seleniumWindowName"] == null) {
          if (w.name) {
              w["seleniumWindowName"] = w.name;
          } else {
      	    w["seleniumWindowName"] = 'generatedSeleniumWindowName_' + Math.round(100000 * Math.random());
      	}
      }
      s += w["seleniumWindowName"];
      var windowOpener = w.opener;
      for (key in windowOpener) {
          var val = null;
          try {
      	    val = windowOpener[key];
          }
          catch(e) {
          }
          if (val==w) {
  	    s += "&jsWindowNameVar=" + key;			// found a js variable in the opener referring to this window
          }
      }
      return s;
  }