/default.exp/1.1.1.2/Thu Feb  2 20:41:45 2006//
/hppa.sed/1.1.1.1/Wed Nov 26 11:31:59 2003//
D
