#include <stdio.h>
int main()
{
	int hour, minute, k;
	scanf("%d:%d %d", &hour, &minute, &k);
	hour = (hour + (k + minute) / 60) % 24;
	minute = (k+minute) % 60;
	printf("%02d:%02d", hour,minute);
}

注意右端被0充满的方式