rem: element.setAttribute('value',value); 
add: if (element.hasChildNodes()) element.removeChild(element.firstChild); var textNode = document.createTextNode(value); element.appendChild(textNode); 
context: function setText(id, value) {    var element = document.getElementById(id);    if (!element) return; 	element.setAttribute('value',value);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/bfc9ac7f9845b279b865972af6bae3822bfc3a9b/downloadheaders.js/clean/mailnews/news/resources/content/downloadheaders.js