/default.exp/1.1/Fri Sep  9 23:32:19 2005//
/hppa.sed/1.1/Fri Sep  9 23:32:19 2005//
D
