#!/bin/sh
SAVE_LANG="$LANG"
export LANG="en_US.iso88591"
printf '\33]701;%s\007' $LANG

/usr/bin/tf5 "$@"

export LANG="$SAVE_LANG"
printf '\33]701;%s\007' $LANG