#include <stdio.h>
int main(void)
{
unsigned char h = 17, m = 45, s = 5;
printf("%#x:%#x:%#04x", h
, m
, s
);
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKQp7CiAgICB1bnNpZ25lZCBjaGFyIGggPSAxNywgbSA9IDQ1LCBzID0gNTsKICAgIAogICAgcHJpbnRmKCIlI3g6JSN4OiUjMDR4IiwgaCwgbSwgcyk7CgogICAgcmV0dXJuIDA7Cn0=