#include <bits/stdc++.h>
using namespace std;
const double eps = 1e-10;
const double pi = acos(-1.0);
const double inf = (int)1e8;
namespace std {
template <typename T>
ostream& operator<<(ostream& os, vector<T> const& v) {
  for (auto it = (v).begin(); it != (v).end(); ++it)
    os << *it << (it + 1 == v.end() ? "" : ",");
  return os;
}
template <typename T, typename U>
ostream& operator<<(ostream& os, const pair<T, U>& p) {
  return os << "[" << p.dirst << "," << p.second << "]";
}
}  // namespace std
int main() {
  int h, m, s;
  int ha, ma, sa;
  while (cin >> h >> m >> s) {
    if (h + m + s == -3) break;
    ha = 2 - h;
    if (m > 0) {
      ha--;
      ma = 60 - m;
    }
    if (s > 0) {
      ma--;
      sa = 60 - s;
    }
    cout << ha << ":";
    if (ma < 10) cout << '0';
    cout << ma << ":";
    if (sa < 10) cout << '0';
    cout << sa << endl;
    sa *= 3;
    ma *= 3;
    ha *= 3;
    if (sa >= 60) {
      ma += (sa / 60);
      sa -= (sa / 60) * 60;
    }
    if (ma >= 60) {
      ha += (ma / 60);
      ma -= (ma / 60) * 60;
    }
    cout << ha << ":";
    if (ma < 10) cout << '0';
    cout << ma << ":";
    if (sa < 10) cout << '0';
    cout << sa << endl;
  }
}
