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