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

main() {
    time_t time;
    time = 1251221823;

    printf("time %s\n", ctime(&time));
    return(0);
}