#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

int main() {
    int h, m;
    scanf("%d:%d", &h, &m);
    m = (m + 60*h + 5) % 24*60;
    printf("%02d:%02d\n", m / 60, m % 60);
    return 0;
}