// Ivan Novick
// January-2, 2008
// convert an epoch time to a string

#include <stdio.h>
#include <time.h>

int main(int argc, char** argv) {

	if (argc != 2){
		printf("epoch2string epoch\n");
		return 0;
	}
	time_t epoch = atoi(argv[1]);
	printf("%s", ctime(&epoch));
	return 0;
}