/default.exp/1.1.1.1/Mon May  3 07:29:11 1999//
/hppa.sed/1.1.1.1/Mon May  3 07:29:11 1999//
D
