HISTFILE="$HOME/.ksh_history"
HISTSIZE=10000