#include <bits/stdc++.h>
using namespace std;
int main() {
  int h, m, s;
  while (1) {
    cin >> h >> m >> s;
    if (h == -1) break;
    int ah = 2, mh = 0, sh = 0;
    if (s > sh) {
      ah--;
      mh = 59;
      sh = 60 - s;
    }
    if (m > mh) {
      ah--;
      mh = 60 - m;
    }
    ah -= h;
    printf("0%d:", ah);
    if (mh < 10)
      printf("0%d:", mh);
    else
      printf("%d:", mh);
    if (sh < 10)
      printf("0%d\n", sh);
    else
      printf("%d\n", sh);
    ah *= 3;
    mh *= 3;
    if (mh > 60) ah += mh / 60;
    mh %= 60;
    sh *= 60;
    if (sh > 60) mh += sh / 60;
    sh %= 60;
    printf("0%d:%2d:", ah, mh);
    if (sh < 10)
      printf("0%d\n", sh);
    else
      printf("%d\n", sh);
  }
}
