window.setTimeout(function() { var browser = getBrowser(); browser.selectedTab = browser.addTab(that.README, null); 
setTimeout(function(){ try{ var browser = getBrowser(); browser.selectedTab = browser.addTab(that.README, null); that.preferences._set('lastversion', that.VERSION); } catch(e) { }; 
            window.setTimeout(function() {                var browser = getBrowser();                browser.selectedTab = browser.addTab(that.README, null);            }, 100);
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/87186ef6c767230df7978176f513fabeed4d440c/itsalltext.js/buggy/src/chrome/content/itsalltext.js