#include <bits/stdc++.h>
using namespace std;
int hh, mm;
void f() {
    mm++;
    if (mm == 60) {
        hh++;
        mm = 0;
        if (hh == 24) { hh = 0; }
    }
}
int main() {
    scanf("%d:%d", &hh, &mm);
    for(int i = 0; i < 5; i++) f();
    printf("%02d:%02d\n", hh, mm);
}