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

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