rem: function escapebackslashes( str ){ return str.replace(/\\[^']/g, '\\\\'); } 
add: function escapebackslashes( str ){ return str.replace(/\\/g, '\\\\'); } 
context: function escapebackslashes( str ){ return str.replace(/\\[^']/g, '\\\\'); }
meta: 1058	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1058/892f3cf9ce0972ff9868e9dfe498bc3d24c55a4e/functions.js/buggy/share/http/js/functions.js