#include <bits/stdc++.h>
long n, m, k;
char a[100];
long d[100];
int main() {
  scanf("%s", a);
  n = strlen(a);
  for (int i = 0; i < n; i++) {
    if (a[i] >= 48 && a[i] <= 57) {
      d[m] = a[i] - 48;
      m++;
    }
  }
  if (d[0] == d[3] && d[1] == d[2]) {
    k = 1;
  }
  while (1) {
    if (d[0] == d[3] && d[1] == d[2] && k == 0) {
      printf("%ld%ld:%ld%ld\n", d[0], d[1], d[2], d[3]);
      return 0;
    } else {
      d[3] += 1;
      if (d[3] == 10) {
        d[2] += 1;
        d[3] = 0;
      }
      if (d[2] == 6) {
        d[1] += 1;
        d[2] = 0;
      }
      if (d[1] == 10) {
        d[0] += 1;
        d[1] = 0;
      }
      if (d[1] == 4 && d[0] == 2) {
        d[0] = 0;
        d[1] = 0;
      }
    }
    k = 0;
  }
  return 0;
}
