/wallclock.hxx/1.3.1.1/Thu Jul 20 07:44:27 2000//
D/wallclock////
