if (newTab != oldTab) { oldTab.selected = false; 
if (newTab != oldTab) 
function ctrlNumberTabSelection(event){  if (event.altKey && event.keyCode == KeyEvent.DOM_VK_RETURN) {    // XXXblake Proper fix is to just check whether focus is in the urlbar. However, focus with the autocomplete widget is all    // hacky and broken and there's no way to do that right now. So this just patches it to ensure that alt+enter works when focus    // is on a link.    if (!(document.commandDispatcher.focusedElement instanceof HTMLAnchorElement)) {      // Don't let winxp beep on ALT+ENTER, since the URL bar uses it.      event.preventDefault();      return;    }  }#ifdef XP_MACOSX  if (!event.metaKey)#else#ifdef XP_UNIX  // don't let tab selection clash with numeric accesskeys (bug 366084)  if (!event.altKey || event.shiftKey)#else  if (!event.ctrlKey)#endif#endif    return;  // \d in a RegExp will find any Unicode character with the "decimal digit"  // property (Nd)  var regExp = /\d/;  if (!regExp.test(String.fromCharCode(event.charCode)))    return;  // Some Unicode decimal digits are in the range U+xxx0 - U+xxx9 and some are  // in the range U+xxx6 - U+xxxF. Find the digit 1 corresponding to our  // character.  var digit1 = (event.charCode & 0xFFF0) | 1;  if (!regExp.test(String.fromCharCode(digit1)))    digit1 += 6;  var index = event.charCode - digit1;  if (index < 0)    return;  // [Ctrl]+[9] always selects the last tab  if (index == 8)    index = gBrowser.tabContainer.childNodes.length - 1;  else if (index >= gBrowser.tabContainer.childNodes.length)    return;  var oldTab = gBrowser.selectedTab;  var newTab = gBrowser.tabContainer.childNodes[index];  if (newTab != oldTab) {    oldTab.selected = false;    gBrowser.selectedTab = newTab;  }  event.preventDefault();  event.stopPropagation();}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/97407c2fdf31331a6be2b6fdc56c73e8832455a8/browser.js/buggy/browser/base/content/browser.js