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

int main() {
    int h,m;
    string s;
    cin>>h>>m>>s;
    int t=60*h+m-540;
    int n=0;
    for (int i=4;i<s.size()&&isdigit(s[i]);i++) {
        n*=10;
        n+=s[i]-'0';
    }
    int tt=60*n;
    if (s[s.size()-2]=='.') tt+=6*(s[s.size()-1]-'0');
    if (s[3]=='-') tt=-tt;
    t+=tt;
    t=(t+24*60)%(24*60);
    printf("%02d:%02d\n",t/60,t%60);
    return 0;
}