echo -n $'\033\]0;'"$*"$'\07'