#include <stdio.h>
#include <stdlib.h>
int main(int argc, char *argv[]) {
int h1,m1,s1;
int h2,m2,s2;
int t;
scanf("%d:",&h1);
scanf("%d:",&m1);
scanf("%d",&s1);
scanf("%d",&t);
s2=t+s1;
if(s2>=60){
s2=s2-60;
m2=m1+1;
if(m2>=60){
m2=m2-60;
h2=h1+1;
if(h2==24&&(m2>0||s2>0)){
h2=0;
}
}
else{
h2=h1;
}
}
else {
m2=m1;
h2=h1;
}
printf("%02d:%02d:%02d",h2,m2,s2);
return 0;
}