/default.exp/1.1.1.2/Thu Oct 30 00:41:43 1997//
/hppa.sed/1.1.1.1/Thu Oct 30 00:41:43 1997//
D
