/default.exp/1.5/Wed Nov  6 19:36:18 2002//
/hppa.sed/1.1.1.1/Mon May  3 07:29:11 1999//
D
