/BUGS/1.1.1.1/Wed Aug 23 07:02:34 1995//
/copyright/1.1.1.1/Wed Aug 23 07:02:34 1995//
/manual.ps/1.1.1.1/Wed Aug 23 07:02:34 1995//
D
