#include <bits/stdc++.h>
int num[][2] = {{0, 1}, {0, 2}, {0, 3}, {0, 4}, {0, 5}, {1, 0}, {1, 1}, {1, 2},
                {1, 3}, {1, 4}, {1, 5}, {2, 0}, {2, 1}, {2, 2}, {2, 3}, {0, 0}};
int main() {
  int shi, fen, i;
  scanf("%d:%d", &shi, &fen);
  for (i = 14;; i--) {
    if (shi > (num[i][0] * 10 + num[i][1]) ||
        (shi == (num[i][0] * 10 + num[i][1]) &&
         fen >= (num[i][1] * 10 + num[i][0]))) {
      printf("%d%d:%d%d\n", num[i + 1][0], num[i + 1][1], num[i + 1][1],
             num[i + 1][0]);
      break;
    }
  }
  return 0;
}
