*** Begin of history file: Thu May 22 12:54:59 1997
q
*** End   of history file: Thu May 22 12:55:02 1997