#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
using namespace std;

int main() {
    
    int h,m;
    scanf("%d:%d",&h,&m);
    m += 5;
    if(m > 60){
        h += m/60;
        m %= 60;
    }
    if(h > 12)h %= 12;
    printf("%02d:%02d",h,m);
    return 0;
}