#define DATE	"Tue Dec  8 17:40:20 CET 1998"