rem:  filename = filename.replace(/\"/g, ""); filename = filename.replace(/(^\s+)|(\s+$)/g, ''); filename = filename.replace(/[ \.\\@\/:]/g, "_"); 
add:   filename = validateFileName(filename).replace(/^\s+|\s+$/g, ""); 
context: function GenerateValidFilename(filename, extension){  if (filename) // we have a title; let's see if it's usable  {    // clean up the filename to make it usable    filename = filename.replace(/\"/g, "");  // Strip out quote character: "    filename = filename.replace(/(^\s+)|(\s+$)/g, ''); // trim whitespace from beginning and end    filename = filename.replace(/[ \.\\@\/:]/g, "_");  //Replace "bad" filename characters with "_"    if (filename.length > 0)      return filename + extension;  }  return null;}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/d10a1c1b66236dfdffef7cb9ad7944023121947c/utilityOverlay.js/buggy/suite/common/utilityOverlay.js