rem: headerEntry.textNode.setAttribute("value", headerValue); 
add: headerEntry.textNode.value = headerValue; 
context: function updateHeaderValueInTextNode(headerEntry, headerValue){  headerEntry.textNode.setAttribute("value", headerValue);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/59c316ce53c2ff5ad3278fd52cdd86712541dda3/msgHdrViewOverlay.js/buggy/mailnews/base/resources/content/msgHdrViewOverlay.js