gBrowser.addEventListener("pageshow", function(evt) { setTimeout(pageShowEventHandlers, 0, evt); }, true); 
setTimeout(function() { PlacesCommandHook.bookmarkPage(tab.linkedBrowser, true, getBrowser(), "overlap") }, 0); 
  gBrowser.addEventListener("pageshow", function(evt) { setTimeout(pageShowEventHandlers, 0, evt); }, true);
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/acea3379769981930b22e1502c52a623c70e681d/browser.js/clean/browser/base/content/browser.js