#include <stdio.h>
int main()
{
    int k,hour,minute;
    scanf("%d:%d %d",&hour,&minute,&k);
    int h,m;
    h=((k+minute)/60)+hour;
    m=(k+minute)%60;
    while(h>23)
    {
    if(h>23)
    {
        h=h-24;
    }
    }
    printf("%.2d:%.2d",h,m);
    return 0;
}