*** Begin of history file: Fri Apr  7 12:49:02 1995
q
*** End   of history file: Fri Apr  7 12:49:02 1995