*** Begin of history file: Thu Jan 24 09:08:28 2008
sh pwd
exit
*** End   of history file: Thu Jan 24 09:08:36 2008