#include <bits/stdc++.h>
using namespace std;
#define int long long


signed main() {
    int N;
    cin>>N;
    N/=10;
    N*=6;
    printf("%lld:%02lld\n",10+N/60,N%60);
    return 0;
}