#include <stdio.h>

int main() 
{
	int hour, minute, k;
	scanf("%d:%d %d", &hour, &minute, &k);
	hour = hour + k / 60;
	minute = minute + k % 60;
	if (minute >= 60)
	{
		hour = hour + minute/60;
		minute = minute%60;
	}

	if (hour > 24)
	{
		hour = hour % 24;
	}
	printf("%02d:%02d", hour, minute);
	return 0;
}