Script started on Mon May 20 07:38:03 1991
Mail in /usr/msgs.
_hilbert_1% exit
_hilbert_2% 
script done on Mon May 20 07:38:06 1991
