#include<bits/stdc++.h>
using lint=long long;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    lint a,b;std::cin>>a>>b;
    a-=9;
    if(a<0)a+=24;
    char c;
    for(lint i=0;i<4;i++)std::cin>>c;
    lint x;std::cin>>x;
    a+=c=='+'?x:-x;
    char d;std::cin>>d;
    if(d=='.'){
        std::cin>>x;
        x=30;
        b+=c=='+'?x:-x;
    }
    if(b<0)b+=60,a--;
    if(60<=b)b-=60,a++;
    if(a<0)a+=24;
    if(24<=a)a-=24;
    std::cout<<std::setw(2)<<std::setfill('0')<<a<<':'<<std::setw(2)<<std::setfill('0')<<b<<'\n';
}