#include <time.h>

main(int argc, char * argv[])
{
 time_t x=atoi(argv[1]);

 printf ("%s", ctime (&x));
}