//时间换算
#include <stdio.h>
int main()
{
int h,m,s,n;
int r,q;//remain quote
scanf("%d:%d:%d",&h,&m,&s);
scanf("%d",&n);
q=(s+n)/60; //多余ss->mm
s=(s+n)%60; //ss
r=(q+m)/60; //多余mm->hh
m=(q+m)%60; //mm
h=(r+h)%24; //hh
printf("%02d:%02d:%02d",h,m,s);
return 0;
}//yh