*** Begin of history file: Mon Jun 10 13:48:39 1996
hist/file 99 hayai.nt
*** End   of history file: Mon Jun 10 13:51:54 1996