#include <stdio.h>

int main()
{
    int hh, dd;
    scanf("%d:%d", &hh, &dd);
    
    printf("%02d:%02d\n", (hh + (dd + 5) / 60) % 24, (dd + 5) % 60);
    
    
    return 0;
}