#include<bits/stdc++.h>
typedef long long ll;
using namespace std;
int INF = 1LL << 30;
int MOD = 1e9+7;
main(){
    int N;
    cin >> N;
    int t = 600 + N/10*6;
    printf("%02d:%02d\n" ,t/60 ,t%60);
}