double f;main(a,b){scanf("%d%d UTC%lf",&a,&b,&f);b+=(a+f+15)*60;printf("%02d:%02d",b/60%24,b%60);}