#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 tt=60*(s[4]-'0');
    if (s[s.size()-2]=='.') tt+=6*(s[s.size()-2]-'0');
    if (s[3]=='-') tt=-tt;
    t+=tt;
    t=(t+24*60)%(24*60);
    printf("%02d:%02d\n",t/60,t%60);
    return 0;
}