rem: dump("Setting " + formElement.name + " to " + value + "\n"); 
context: function setFormElementValue(formElement, value) {  dump("Setting " + formElement.name + " to " + value + "\n");  if (formElement.type == "checkbox") {    if (value)      if (formElement.getAttribute("reversed"))        formElement.checked = !value;      else        formElement.checked = value;    else      formElement.checked = formElement.defaultChecked;  } else {    if (value)      formElement.value = value;    else      formElement.value = formElement.defaultValue;  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/7ac82082713fcc0189a09d7d5d1795cc729171d8/AccountManager.js/clean/mailnews/base/prefs/resources/content/AccountManager.js