extern char *tzname[2]; void main(void) {tzset(); long int t = time(0); int h = ((t / 3600) + (atoi(tzname[0]))) % 24; int m = (t / 60) % 60; int s = t % 60; printf("%d:%d:%d\n", h, m, s);}
