add: str = str.replace(/[\\]*\[/g,'\\['); str = str.replace(/[\\]*\]/g,'\\]'); 
context: function deParen(str) {  str = str.replace(/[\\]*\(/g,'\\(');  str = str.replace(/[\\]*\)/g,'\\)');  return str;}
meta: 891	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/891/d81801bea5a832c839d00f7eb346766a61b5d1ee/stet-intense-shorter.js/buggy/stet-intense-shorter.js