#define DATE	"Tue Dec 22 15:40:03 CET 1998"