#include <bits/stdc++.h>
int input(int *h, int *m, int *s);
void output(int t);
int main() {
  int inh, inm, ins, intime;
  while (input(&inh, &inm, &ins) == 0) {
    intime = inh * 3600 + inm * 60 + ins;
    output(7200 - intime);
  }
  return 0;
}
int input(int *h, int *m, int *s) {
  scanf("%d %d %d", h, m, s);
  if (*h == -1 && *m == -1 && *s == -1) {
    return 1;
  } else {
    return 0;
  }
}
void output(int t) {
  int t60[3], i, radical = 3600;
  for (i = 0; i < 3; i++) {
    t60[i] = t / radical;
    t %= radical;
    radical /= 60;
  }
  printf("%02d:%02d:%02d\n", t60[0], t60[1], t60[2]);
}
