  PS4="DEBUG: "
  set -x
  #File: setx
  echo $0
  if [ "$0" = set_x ]; then
    echo "I'm $0"
  fi
  df="'%A, %B %d'"
  Date=`date +"$df"`
  echo $Date
