rem: return fileName.replace(/[^\w\d.,#\-_%]/g, encodeChar); 
add:  return fileName.replace(/[\/\\\:\*\?"<>\|]/g, encodeChar); 
context: function escapeFileName(fileName){    return fileName.replace(/[^\w\d.,#\-_%]/g, encodeChar);}
meta: 3298	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3298/d1940c4052a39910842c30f3486b768e0dbc08c3/utils.js/buggy/js/lib/utils.js