rem: {  var bb = document.getElementById("canGoBack");  if ( (bb.getAttribute("disabled")) == "true" ) return;  if (appCore != null) { dump("Going Back\n"); appCore.back(); } else { dump("BrowserAppCore has not been created!\n"); } } 
add: {  var bb = document.getElementById("canGoBack");  if ( bb.getAttribute("disabled") == "true" ) return; if (appCore != null) appCore.back(); } 
context:   function BrowserBack()  {     // Get a handle to the back-button     var bb = document.getElementById("canGoBack");     // If the button is disabled, don't bother calling in to Appcore     if ( (bb.getAttribute("disabled")) == "true" )         return;    if (appCore != null) {      dump("Going Back\n");      appCore.back();    } else {      dump("BrowserAppCore has not been created!\n");    }  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/d46106418588bec5ed4354933e11d332b81439bb/navigator.js/buggy/suite/browser/navigator.js