*** Begin of history file: Thu Oct 10 14:20:05 1996 edit ftohtml cc * exit *** End of history file: Thu Oct 10 14:20:50 1996