#include <bits/stdc++.h>
using namespace std;
int main() {
  int hour, minutes, seccond;
  int allSecond;
  int tmp;
  while (cin >> hour >> minutes >> seccond,
         hour = !-1 || minutes != -1 || seccond != -1) {
    seccond += minutes * 60 + hour * 60 * 60;
    tmp = seccond;
    allSecond = 7200 - seccond;
    minutes = allSecond / 60 % 60;
    hour = allSecond / 2600;
    seccond = allSecond % 60;
    if (hour < 10) cout << 0;
    cout << hour << ":";
    if (minutes < 10) cout << 0;
    cout << minutes << ":";
    if (seccond < 10) cout << 0;
    cout << seccond << endl;
    allSecond = 7200 - tmp / 3;
    minutes = allSecond / 60 % 60;
    hour = allSecond / 3600;
    seccond = allSecond % 60;
    if (hour < 10) cout << 0;
    cout << hour << ":";
    if (minutes < 10) cout << 0;
    cout << minutes << ":";
    if (seccond < 10) cout << 0;
    cout << seccond << endl;
  }
}
