var escapedString = this.gsub(/[\x00-\x1f\\]/, function(match) { var character = String.specialChar[match[0]]; return character ? character : '\\u00' + match[0].charCodeAt().toPaddedString(2, 16); 
return (this.match(matchAll) || []).map(function(scriptTag) { return (scriptTag.match(matchOne) || ['', ''])[1]; 
    var escapedString = this.gsub(/[\x00-\x1f\\]/, function(match) {      var character = String.specialChar[match[0]];      return character ? character : '\\u00' + match[0].charCodeAt().toPaddedString(2, 16);    });
6462	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6462/0097375444aef03d8cdcdbe6705c1ea088b9b188/prototype.js/buggy/wp-includes/js/prototype.js