return function(match) { return template.evaluate(match) }; 
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 function(match) { return template.evaluate(match) };
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/e47dfd7529c730bdf42c17407d64892450c0dbee/prototype.js/clean/wp-includes/js/scriptaculous/prototype.js