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

int main(int argc, char **argv) {
  char today[100];
  time_t date;
  struct tm *timestruct;
  
  if (argc != 2)
     exit(1);
  
  date=atoi(argv[1]);
  timestruct = localtime(&date);
  strftime(today, 100, "%d/%m/%Y %T %Z", timestruct);
  printf("%s\n", today);
  return 0;
}