#include <iostream>
#include <stdio.h>
#include <string.h>
using namespace std;
int main(int argc, char* argv[])
{
	char T[100];
	int h,m;
	char ch;
	char UTC[10];
	scanf("%02d %02d UTC%c%s",&h,&m,&ch,&UTC);
	float utc;
	int utc_h,utc_m;
	char *p=strchr(UTC,'.');
	if (p){
		*p='\0';
		utc_h=atoi(UTC);
		p++;
		utc_m=atoi(p);
	}else{
		utc_h=atoi(UTC);
		utc_m=0;
	}
	utc_m*=60;
	utc_m/=10;
	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;
}