add: if (gBrowser.backBrowserGroup.length != 0) { SetGroupHistory(event.target, "back"); return true; }  
context: function BrowserBackMenu(event){  return FillHistoryMenu(event.target, "back");}
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/756d8ef90771facfd65741edf43cb5d293e97d8d/navigator.js/buggy/xpfe/browser/resources/content/navigator.js