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