des3.h