a,b,c;main(x){dprintf(x^2,a="%02d:%02d:%02d\n",23-a,59-b+!c,c?60-c:0);main(scanf(a,&a,&b,&c));}