$txt=$txt;