$s1 =~ s/${\TXT_EXTENSION}/MIF_EXTENSION/e;