throw "Load of " + url + " from " + sourceURL + " denied."; 
 throw "Load of " + aURL + " denied."; 
function urlSecurityCheck(url, sourceURL, flags){  const nsIScriptSecurityManager = Components.interfaces.nsIScriptSecurityManager;  var secMan = Components.classes["@mozilla.org/scriptsecuritymanager;1"]                         .getService(nsIScriptSecurityManager);  if (flags === undefined)    flags = nsIScriptSecurityManager.STANDARD;  try {    secMan.checkLoadURIStr(sourceURL, url, flags);  } catch (e) {    throw "Load of " + url + " from " + sourceURL + " denied.";  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/323286399cc3e12b9d640d15efcc6c52f3676e5e/contentAreaUtils.js/buggy/toolkit/content/contentAreaUtils.js