#include <bits/stdc++.h>
using namespace std;
int dy[] = {0, 0, 1, -1, 0};
int dx[] = {1, -1, 0, 0, 0};
int H = 0;
int M = 0;
int S = 0;
void input(void) {
  cin >> H >> M >> S;
  return;
}
int main(void) {
  int sum = 0;
  int remain = 0;
  int hour = 0;
  int minute = 0;
  int second = 0;
  while (1) {
    input();
    if (H == -1) {
      return 0;
    }
    sum = H * 3600 + M * 60 + S;
    remain = 2 * 3600 - sum;
    second = remain % 60;
    remain -= remain % 60;
    remain /= 60;
    minute = remain % 60;
    remain -= remain % 60;
    remain /= 60;
    hour = remain;
    printf("0%d:", hour);
    if (minute < 10) {
      printf("0%d:", minute);
    } else {
      printf("%d:", minute);
    }
    if (second < 10) {
      printf("0%d", second);
    } else {
      printf("%d", second);
    }
    cout << "\n";
  }
  return 0;
}
