#include <bits/stdc++.h>
int main() {
  int h, m;
  char ch;
  while (scanf("%d%c%d", &h, &ch, &m) != EOF) {
    long H = (60 * h) + m;
    if (H < 70)
      printf("01:10\n");
    else if (H < 140)
      printf("02:20\n");
    else if (H < 210)
      printf("03:30\n");
    else if (H < 280)
      printf("04:40\n");
    else if (H < 350)
      printf("05:50\n");
    else if (H < 601)
      printf("10:01\n");
    else if (H < 671)
      printf("11:11\n");
    else if (H < 741)
      printf("12:21\n");
    else if (H < 811)
      printf("13:31\n");
    else if (H < 881)
      printf("14:41\n");
    else if (H < 951)
      printf("15:51\n");
    else if (H < 1202)
      printf("20:02\n");
    else if (H < 1272)
      printf("21:12\n");
    else if (H < 1342)
      printf("22:22\n");
    else if (H < 1412)
      printf("23:32\n");
    else
      printf("00:00\n");
  }
  return 0;
}
