txt = txt.replace(“”$”” + m.group( 1)