s +=  'generatedSeleniumWindowName_' + Math.round(100000 * Math.random()); 
if (w.name) { w["seleniumWindowName"] = w.name; } else { w["seleniumWindowName"] = 'generatedSeleniumWindowName_' + Math.round(100000 * Math.random()); } 
function getSeleniumWindowNameURLparameters() {    var w = (proxyInjectionMode ? selenium.browserbot.getCurrentWindow() : window).top;    var s = "&seleniumWindowName=";    if (w.opener == null) {        return s;    }    if (w["seleniumWindowName"] == null) {    	s +=  'generatedSeleniumWindowName_' + Math.round(100000 * Math.random());    }    else {    	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;}
4983	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4983/640175e8d2d5d07b52d9f3ce77731eee0880118a/selenium-remoterunner.js/clean/src/main/resources/core/scripts/selenium-remoterunner.js