#include <stdio.h>

int main(void)
{
    int hour,m,minute,op=0;
    scanf("%d:%d %d",&hour,&m,&minute);
    hour+=minute/60;
    m+=minute%60;
    if(m>=60) op=1;
    hour=(hour+op)%24;
    m%=60;
    printf("%.2d:%.2d",hour,m);
}