openNewTabWindowOrExistingWith(kNewTab, aURL, aDoc, aReverseBackgroundPref); 
var loadInBackground = false; if (pref) { loadInBackground = pref.getBoolPref("browser.tabs.loadInBackground"); if (aReverseBackgroundPref) loadInBackground = !loadInBackground; } openNewTabWindowOrExistingWith(kNewTab, aURL, aDoc, loadInBackground); 
function openNewTabWith(aURL, aDoc, aReverseBackgroundPref){  openNewTabWindowOrExistingWith(kNewTab, aURL, aDoc, aReverseBackgroundPref);}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/b4500b77566e1ac8acaeca1884e6d7ae7c16b6a2/contentAreaUtils.js/buggy/suite/common/contentAreaUtils.js