Miscellany

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);