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

int main(int argc, char *argv[])
{
  time_t the_time;

  if (argc < 2) {
    fprintf(stderr,"Usage: display_time number\n");
    return 4;
  }

  the_time = (time_t)atol(argv[1]);
  printf("%s\n",asctime(localtime(&the_time)));
  return 0;
}