#endif 
function BookmarkThisTab(){  var tab = getBrowser().mContextTab;  if (tab.localName != "tab")    tab = getBrowser().mCurrentTab;  addBookmarkAs(tab.linkedBrowser, false);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/f3cce4d2e42dfa2641398435f525d7cceea74725/browser.js/clean/browser/base/content/browser.js