#include <bits/stdc++.h>
using namespace std;
int main(int argc, char **argv) {
  int a, b, c, tmp, tmp2;
  while (1) {
    cin >> a >> b >> c;
    if (a == -1 && b == -1 && c == -1) {
      break;
    }
    tmp = a * 3600 + b * 60 + c;
    for (int i = 0; i < 2; i++, tmp /= 3) {
      tmp2 = 7200 - tmp;
      a = (int)(tmp2 / 3600);
      tmp2 -= a * 3600;
      b = (int)(tmp2 / 60);
      c = tmp2 - b * 60;
      cout << "0" << a;
      if (b < 10) {
        cout << ":0" << b;
      } else {
        cout << ":" << b;
      }
      if (c < 10) {
        cout << ":0" << c << endl;
      } else {
        cout << ":" << c << endl;
      }
    }
  }
  return 0;
}
