char *short_time (time_t *);