#include <bits/stdc++.h>
using longlong=long long;

int main(){
    std::cin.tie(nullptr);std::cin.sync_with_stdio(false);
    int n;std::cin>>n;
    n=n*60/100;
    printf("%02d:%02d\n",(10+n/60)%24,n%60);
}