#include <stdio.h>
int main(void)
{
int sec,min,chas;
scanf("%d %d %d",sec
,min
,chas
); printf("%d %d %d",sec
,min
,chas
); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiAKaW50IG1haW4odm9pZCkgCnsKaW50IHNlYyxtaW4sY2hhczsKc2NhbmYoIiVkICVkICVkIixzZWMsbWluLGNoYXMpOwpwcmludGYoIiVkICVkICVkIixzZWMsbWluLGNoYXMpOwogcHJpbnRmKCIlZCIsIHNlYy8zNjAwKTsKZ2V0Y2hhcigpOwoJcmV0dXJuIDA7Cn0=