rem: if (index == -1) index = 9; if (index < 0 || index > 9) 
add: if (index < 0 || index > 8) 
context: function ctrlNumberTabSelection(event){  if (event.altKey && event.keyCode == KeyEvent.DOM_VK_RETURN) {    // Don't let winxp beep on ALT+ENTER, since the URL bar uses it.    event.preventDefault();    return;  }   if (!event.ctrlKey)    return;  var index = event.charCode - 49;  if (index == -1)    index = 9;  if (index < 0 || index > 9)    return;  if (index >= gBrowser.mTabContainer.childNodes.length)    return;  var oldTab = gBrowser.selectedTab;  var newTab = gBrowser.mTabContainer.childNodes[index];  if (newTab != oldTab) {    oldTab.selected = false;    gBrowser.selectedTab = newTab;  }  event.preventDefault();  event.preventBubble();  event.preventCapture();  event.stopPropagation();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c487c88f7434c337bae00f54473040cc03d51cf5/browser.js/buggy/browser/base/content/browser.js