#include <bits/stdc++.h>
int main() {
  int a, b;
  scanf("%d:%d", &a, &b);
  int i = a, j = ((b + 1) % 60);
  int p = b + 1;
  while (1) {
    for (j = p; j < 60; j++) {
      if ((i % 10 == j / 10) && (i / 10 == j % 10)) {
        if (i / 10 == 0 && j / 10 == 0)
          printf("0%d:0%d\n", i, j);
        else if (i / 10 == 0 && j / 10 != 0)
          printf("0%d:%d\n", i, j);
        else if (i / 10 != 0 && j / 10 == 0)
          printf("%d:0%d\n", i, j);
        else
          printf("%d:%d\n", i, j);
        return 0;
      }
    }
    p = 0;
    i = (i + 1) % 24;
  }
  return 0;
}
