#include <stdio.h>
#include <time.h>
int
main(int argc, char **argv) {
	time_t epoch = 0x00000000L;
	printf(ctime(&epoch));
	return 0;
}