#include <cstdio>
int main(){
    int a,h=10,m=0;
    scanf("%d",&a);
    h=h+a/100;m=6*(a%100)/10;
    printf("%02d:%02d\n",h,m);
    return 0;
}