#include<bits/stdc++.h>
using namespace std;
int main(){
    string s,tmp;
    cin>>s;
    istringstream t(s);
    vector<int> a;
    while(getline(t,tmp,':')){
        a.emplace_back(stoi(tmp));
    }
    a.back()+=5;
    a.front()+=a.back()/60;
    a.back()%=60;
    a.front()%=24;
    ostringstream ans;
    ans<<setw(2)<<setfill('0')<<a.front()<<':'<<setw(2)<<a.back();
    cout<<ans.str()<<endl;
}