#include <bits/stdc++.h>
using namespace std;
int main() {
  int hour;
  int minute;
  int second;
  int epoch;
  int remain;
  int remain3;
  while (cin >> hour >> minute >> second,
         hour != -1 && minute != -1 && second != -1) {
    epoch = hour * 3600 + minute * 60 + second;
    remain = 120 * 60 - epoch;
    remain3 = remain * 3;
    hour = remain / 3600;
    remain = remain % 3600;
    minute = remain / 60;
    remain = remain % 60;
    second = remain;
    printf("%d:%d:%d\n", hour, minute, second);
    hour = remain3 / 3600;
    remain3 = remain3 % 3600;
    minute = remain3 / 60;
    remain3 = remain3 % 60;
    second = remain3;
    printf("%d:%d:%d\n", hour, minute, second);
  }
  return 0;
}
