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

void print_ctime(time_t t)
{
    printf("%s", ctime(&t));
}

int main(int argc, char** argv)
{
    time_t t;

    if(argc >= 2)
    {
	int i;
	for(i = 1; i < argc; i++)
	{
	    t = atoi(argv[i]);
	    print_ctime(t);
	}
    }
    else
    {
	t = time(&t);
	print_ctime(t);
    }
    return 0;
}