/default.exp/1.5/Tue Nov 12 03:12:19 2002//
/hppa.sed/1.1.1.1/Mon May  3 07:29:11 1999//
D
