rem: divtag.appendChild(document.createTextNode(str)); 
add:  if (divtag.getAttribute("before")) newstr += divtag.getAttribute("before"); newstr += str; if (divtag.getAttribute("after")) newstr += divtag.getAttribute("after");  divtag.appendChild(document.createTextNode(newstr)); 
context: function setDivText(divid, str) {    var divtag = document.getElementById(divid);    dump("setting " + divtag + " to " + str + "\n");    if (divtag) {        if (divtag.firstChild)            divtag.removeChild(divtag.firstChild);        divtag.appendChild(document.createTextNode(str));    }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/0005d898e6e78b8493d6d6c7d103cacd788ade86/am-copies.js/buggy/mailnews/base/prefs/resources/content/am-copies.js