} 
}, 
  getFolderListPref: function ()  {    var folderListPref = document.getElementById("browser.download.folderList");    switch(folderListPref.value) {      case 0: // Desktop      case 1: // Downloads        return folderListPref.value;      break;      case 2: // Custom        var currentDirPref = document.getElementById("browser.download.dir");        if (currentDirPref.value) {          // Resolve to a known location if possible. We are writing out          // to prefs on this call, so now would be a good time to do it.          return this._folderToIndex(currentDirPref.value);        }        return 0;      break;    }  }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/c2497ecc2178fc0d0169c53ccbbc62eb8eda44e8/main.js/buggy/browser/components/preferences/main.js