function urlSecurityCheck(aURL, aPrincipal, aFlags){  const nsIScriptSecurityManager =    Components.interfaces.nsIScriptSecurityManager;  var secMan = Components.classes["@mozilla.org/scriptsecuritymanager;1"]                         .getService(nsIScriptSecurityManager);  if (aFlags === undefined)    aFlags = nsIScriptSecurityManager.STANDARD;  try {    if (aURL instanceof Components.interfaces.nsIURI)      secMan.checkLoadURIWithPrincipal(aPrincipal, aURL, aFlags);    else      secMan.checkLoadURIStrWithPrincipal(aPrincipal, aURL, aFlags);  } catch (e) {    // XXXmano: dump the prinicipal url here too    throw "Load of " + aURL + " denied.";  }}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/50a583d157e7d8412a3f30cc904bce21d7d879fa/contentAreaUtils.js/buggy/toolkit/content/contentAreaUtils.js