/default.exp/1.3/Tue Sep 12 22:24:45 2000//
/hppa.sed/1.1/Mon Jan  8 11:04:01 1996//
D
