#include<stdio.h>
main(){
    int H,M;
    scanf("%d:%d",&H,&M);
    if(M >= 55){H = (H+1)%24;}
    M = (M+5)%60;
    printf("%02d:%02d\n",H,M);
}