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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/fd76d4ce214f4211b69506c7ddee04b22ef3491c/folderProps.js/buggy/mailnews/base/resources/content/folderProps.js