*** Begin of history file: Sun Jun  3 19:30:06 2007
exec comp
exec comp
exit
*** End   of history file: Sun Jun  3 19:31:45 2007