/default.exp/1.4/Wed Jul 18 23:56:41 2001//
/hppa.sed/1.1.1.1/Mon May  3 07:29:11 1999//
D
