*** Begin of history file: Tue Aug 18 11:23:11 1998
file hammdoc
dir
ctot -s czinst
quit
*** End   of history file: Tue Aug 18 11:23:34 1998