rem: dump("folder type = "+ folderTypeString + "\n"); 
context:     setFolderType: function(folderTypeString)    {      var typeLabel = document.getElementById("folderType.text");      if (typeLabel)      {        dump("folder type = "+ folderTypeString + "\n");        typeLabel.setAttribute("value",folderTypeString);      }      // get the element for the folder type label and set value on it.    },
meta: 5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5459/f1346ee5c48e705aec6fb19b8651ad7dcd0d1ecf/folderProps.js/buggy/mailnews/base/resources/content/folderProps.js