    writeSafeHTML : function(elementID, htmlstr) {        document.getElementById(elementID).innerHTML = "";  //clear it.        var gUnescapeHTML = Components.classes["@mozilla.org/feed-unescapehtml;1"].getService(Components.interfaces.nsIScriptableUnescapeHTML);        var context = document.getElementById(elementID);        var fragment = gUnescapeHTML.parseFragment(htmlstr, false, null, context);        context.appendChild(fragment);            },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/a3a9a2c311afc9d76e4e6bfc036e5897fa988bc1/common.js/clean/testing/extensions/community/chrome/content/common.js