$s1 =~ s/&TXT_EXTENSION/&MIF_EXTENSION/e;