#include <iostream>
#include <stdio.h>
using namespace std;
int main(int argc, char* argv[])
{
	char T[100];
	int h,m;
	char ch;
	float utc;
	scanf("%02d %02d UTC%c%f",&h,&m,&ch,&utc);
	int utc_h=utc;
	int utc_m=(utc-utc_h)*60;
	if (ch=='-'){
		utc_h=-utc_h;
		utc_m=-utc_m;
	}
	int H=h+(utc_h-9);
	while (H>24){
		H-=24;
	}
	while (H<0){
		H+=24;
	}
	int M=m+(utc_m-0);
	while (M>=60){
		M-=60;
		H++;
	}
	while (M<0){
		M+=60;
		H--;
	}
	while (H>24){
		H-=24;
	}
	while (H<0){
		H+=24;
	}
	printf("%02d:%02d",H,M);
	return 0;
}