#include<bits/stdc++.h>
using namespace std;

int main(){
	int h, m, s, n;
	scanf("%d:%d:%d",&h,&m,&s);
	scanf("%d",&n);
	s += n;
	while(s >= 60) s -= 60, m ++;
	while(m >= 60) m -= 60, h ++;
	printf("%02d:%02d:%02d",h,m,s);
	return 0;
}