#include <bits/stdc++.h>
using namespace std;
int s[3], t[3], u[3], _time, vtime;
void printtime(int sec) {
  printf("%02d;%02d:%02d\n", sec / 3600, (sec / 60) % 60, sec % 60);
}
int main() {
  while (true) {
    cin >> s[0] >> s[1] >> s[2];
    if (s[0] == -1) {
      break;
    }
    _time = s[0] * 3600 + s[1] * 60 + s[2];
    vtime = 7200;
    printtime(vtime - _time);
    printtime(vtime * 3 - _time * 3);
  }
}
