if (getPref("browser.microsummary.log", false)) { 
var f = arguments.callee; if (!("_enabled" in f)) f._enabled = getPref("browser.microsummary.log", false); if (f._enabled) { 
function LOG(aText) {  if (getPref("browser.microsummary.log", false)) {    dump("*** Microsummaries: " +  aText + "\n");    var consoleService = Cc["@mozilla.org/consoleservice;1"].                         getService(Ci.nsIConsoleService);    consoleService.logStringMessage(aText);  }}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/2276958b67460a22490932acf5bdf3f0a3290067/nsMicrosummaryService.js/clean/browser/components/microsummaries/src/nsMicrosummaryService.js