int main() {
int hh, mm, ss;
scanf("%i:%i:%i\n", &hh
, &mm
, &ss
); printf("%i:%i:%i\n", hh
, mm
, ss
); }
aW50IG1haW4oKSB7CiAgICBpbnQgaGgsIG1tLCBzczsKICAgIHNjYW5mKCIlaTolaTolaVxuIiwgJmhoLCAmbW0sICZzcyk7CiAgICBwcmludGYoIiVpOiVpOiVpXG4iLCBoaCwgbW0sIHNzKTsKfQ==