function LOG(str) { dump(str + "\n");    
function LOG(aText) { var shouldLog = false; try { var pb = Cc["@mozilla.org/preferences-service;1"]. getService(Ci.nsIPrefBranch); shouldLog = pb.getBoolPref("browser.microsummary.log"); } catch (ex) {}  if (shouldLog) { dump("*** Microsummaries: " +  aText + "\n"); var consoleService = Cc["@mozilla.org/consoleservice;1"]. getService(Ci.nsIConsoleService); consoleService.logStringMessage(aText); } 
function LOG(str) {  dump(str + "\n");  //var css = Cc['@mozilla.org/consoleservice;1'].  //          getService(Ci.nsIConsoleService);  //css.logStringMessage("MsS: " + str)}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a4d47e9343a01339e13933d52ddb98b188831d7a/nsMicrosummaryService.js/buggy/browser/components/microsummaries/src/nsMicrosummaryService.js