 tabMenu.addEventListener("popupshowing", UpdateBookmarkAllTabsMenuitem, false); 
function addBookmarkMenuitems(){  var tabbrowser = getBrowser();  var tabMenu = document.getAnonymousElementByAttribute(tabbrowser,"anonid","tabContextMenu");  var bookmarkAllTabsItem = document.createElement("menuitem");  bookmarkAllTabsItem.setAttribute("label", gNavigatorBundle.getString("bookmarkAllTabs_label"));  bookmarkAllTabsItem.setAttribute("accesskey", gNavigatorBundle.getString("bookmarkAllTabs_accesskey"));  bookmarkAllTabsItem.setAttribute("command", "Browser:BookmarkAllTabs");  // set up the bookmarkAllTabs menu item correctly when the menu popup is shown  tabMenu.addEventListener("popupshowing", UpdateBookmarkAllTabsMenuitem, false);  var bookmarkCurTabItem = document.createElement("menuitem");  bookmarkCurTabItem.setAttribute("label", gNavigatorBundle.getString("bookmarkCurTab_label"));  bookmarkCurTabItem.setAttribute("accesskey", gNavigatorBundle.getString("bookmarkCurTab_accesskey"));  bookmarkCurTabItem.setAttribute("oncommand", "BookmarkThisTab();");  var menuseparator = document.createElement("menuseparator");  var insertPos = tabMenu.lastChild.previousSibling;  tabMenu.insertBefore(bookmarkAllTabsItem, insertPos);  tabMenu.insertBefore(bookmarkCurTabItem, bookmarkAllTabsItem);  tabMenu.insertBefore(menuseparator, bookmarkCurTabItem);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/91990f7ffa6bca336622c9d4076b9f060be1548b/browser.js/buggy/browser/base/content/browser.js