rem: function setDivText(divname, value) { var div = document.getElementById(divname); if (!div) return; div.setAttribute("value", value); 
add: function setDivText(divname, value) { var div = document.getElementById(divname); if (!div) return; div.setAttribute("value", value); 
context: function setDivText(divname, value) {    var div = document.getElementById(divname);    if (!div) return;    div.setAttribute("value", value);}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/ba82559445a7ad3bea2eb3ee82beb3bddd765ea1/am-server.js/clean/mailnews/base/prefs/resources/content/am-server.js