#include <bits/stdc++.h>
using namespace std;
int main() {
  struct data {
    int h;
    int m;
    int s;
    int dh;
    int dm;
    int ds;
    int th;
    int tm;
    int ts;
  } n;
  while (1) {
    cin >> n.h >> n.m >> n.s;
    if (n.h == -1 && n.m == -1 && n.s == -1) break;
    int num = n.s + n.m * 100 + n.h * 10000;
    int fd = 20000, ft = 30000;
    fd -= num;
    ft -= num;
    n.ds = fd % 100;
    n.dm = ((fd % 10000) - n.ds) / 100;
    n.dh = (fd - n.ds - n.dm) / 10000;
    n.ts = ft % 100;
    n.tm = ((ft % 10000) - n.ts) / 100;
    n.th = (ft - n.ts - n.tm) / 10000;
    if (n.dh / 10 == 0)
      cout << '0' << n.dh << ':';
    else
      cout << n.dh << ':';
    if (n.dm / 10 == 0)
      cout << '0' << n.dm << ':';
    else
      cout << n.dm - 40 << ':';
    if (n.ds / 10 == 0)
      cout << '0' << n.ds << endl;
    else
      cout << n.ds << endl;
    if (n.th / 10 == 0)
      cout << '0' << n.th << ':';
    else
      cout << n.th << ':';
    if (n.tm / 10 == 0)
      cout << '0' << n.tm << ':';
    else
      cout << n.tm - 40 << ':';
    if (n.ts / 10 == 0)
      cout << '0' << n.ts << endl;
    else
      cout << n.ts << endl;
  }
  return 0;
}
