Script started on Tue Sep 13 13:04:36 1994chico> ^C
chico> ^D
script done on Tue Sep 13 13:04:42 1994