#include <stdio.h>
int main(){
    int T,H,i;
    
    scanf("%d",&i);
    H = i/100;
    T = ((i%100)*60)/100;
    
    if(T<10) printf("%d:0%d",H+10,T);
    else printf("%d:%d",H+10,T);
}