#include <stdio.h>

int main()
{
    int hh, dd;
    scanf("%d:%d", &hh, &dd);
    printf("%d:%d\n", hh, dd);
    
    
    return 0;
}