function e(s){return s.replace(/\\/g,'\\\\').replace(/'/g, "\\'");}
a='function e(s){return s.replace(/\\\\/g,\'\\\\\\\\\').replace(/\'/g, "\\\\\'");} a=\'xx\'; a=a.replace(/xx/, e(a)); print(a);';
a=a.replace(/xx/, e(a));
print(a);