#change the title of an xterm window
echo -e "\033]0;$*\007"