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: 1622	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1622/cc7971f308d00a16d90d54f3cf246f67b71f1c15/utils.js/clean/js/lib/utils.js