openNewTabWindowOrExistingWith(pref.getIntPref("browser.link.open_external"), aURL, null, false); 
var loadType = pref.getIntPref("browser.link.open_external"); var loadInBackground = pref.getBoolPref("browser.tabs.loadDivertedInBackground"); openNewTabWindowOrExistingWith(loadType, aURL, null, loadInBackground); 
function openAsExternal(aURL){  openNewTabWindowOrExistingWith(pref.getIntPref("browser.link.open_external"),                                 aURL, null, false);}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/b4500b77566e1ac8acaeca1884e6d7ae7c16b6a2/contentAreaUtils.js/clean/suite/common/contentAreaUtils.js