rem: dump("Getting " + formElement.name + " value = " + formElement.value + "\n"); 
context: function getFormElementValue(formElement) {  dump("Getting " + formElement.name + " value = " + formElement.value + "\n");  if (formElement.type=="checkbox") {    if (formElement.getAttribute("reversed"))      return !formElement.checked;    else      return formElement.checked;  } else    return formElement.value;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/452690b4fb936cdc5a7b5109a9f95bff7cfd09df/AccountManager.js/buggy/mailnews/base/prefs/resources/content/AccountManager.js