if (gDialog.nameField.value && gDialog.picker.getAttribute("uri")) 
if (gDialog.nameField.value && gDialog.picker.getAttribute("uri")) 
function doEnabling(){  if (gDialog.nameField.value && gDialog.picker.getAttribute("uri"))   {    if (gDialog.OKButton.disabled)      gDialog.OKButton.disabled = false;  }   else    gDialog.OKButton.disabled = true;}
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/0c3e75f9269436ce8074f0e484e530cfc7260c6f/virtualFolderProperties.js/buggy/mailnews/base/resources/content/virtualFolderProperties.js