#include <bits/stdc++.h>

using namespace std;

int main(void) {
  string T;
  cin >> T;

  int hh = atoi(T.substr(0, 2).c_str());
  int mm = atoi(T.substr(3, 2).c_str());
  int t = (hh * 60 + mm + 5) % (24 * 60);
  printf("%02d:%02d\n", t / 60, t % 60);

  return 0;
}