*** Begin of history file: Fri Feb  8 10:51:29 2002
ls
help
exit
*** End   of history file: Fri Feb  8 12:04:31 2002