*** Begin of history file: Fri Jul  3 16:41:52 1998
exe picture
exe picture
exi
*** End   of history file: Fri Jul  3 16:43:44 1998