/*	SCCS Id: @(#)date.h	3.0	88/11/20 */

const char datestring[] = "Thu Dec 31 22:35:24 1992";
const long compiletime = -1360021972;