*** Begin of history file: Thu Oct  2 19:56:47 2008
help
help
help
man
exit
*** End   of history file: Thu Oct  2 19:58:10 2008