#include <bits/stdc++.h>
using namespace std;
int main() {
  int h, m, s;
  while (cin >> h >> m >> s && (0 <= h)) {
    int second = 7200 - (h * 3600 + m * 60 + s);
    int hh = second / 3600;
    int mm = (second % 3600) / 60;
    int ss = second % 60;
    cout << (10 <= hh ? "" : "0") << hh << ":";
    cout << (10 <= mm ? "" : "0") << mm << ":";
    cout << (10 <= ss ? "" : "0") << ss << endl;
  }
  return 0;
}
