#include <cstdio>
#include <ctime>
using namespace std;
int main(int argc, const char * argv[])
{
time_t t1;
time(&t1);
tm * t2 = localtime(&t1);
char s[40];
strftime(s,40,"%H:%M:%S",t2);
puts(s);
}
I2luY2x1ZGUgPGNzdGRpbz4KI2luY2x1ZGUgPGN0aW1lPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oaW50IGFyZ2MsIGNvbnN0IGNoYXIgKiBhcmd2W10pCnsKICAgIHRpbWVfdCB0MTsKICAgIHRpbWUoJnQxKTsKICAgIHRtICogdDIgPSBsb2NhbHRpbWUoJnQxKTsKICAgIGNoYXIgc1s0MF07CiAgICBzdHJmdGltZShzLDQwLCIlSDolTTolUyIsdDIpOwoKICAgIHB1dHMocyk7Cgp9Cgo=