#include<iostream>
using namespace std;

int main(){
    int a, b;
    double utc;
    scanf("%d %d UTC%lf", &a, &b, &utc);
    a = (24+a)*60 + b;
    utc = 9 - utc;
    a -= 60*utc;
    b = a%60;
    a /= 60;
    a %= 24;
    printf("%02d:%02d\n", a, b);
    return 0;
}