#include <bits/stdc++.h>

using namespace std;

typedef unsigned long long ull;
typedef long long ll;

int main(){
	int a;
	cin >> a;
	printf("%d:%02d\n", 10+a/100, 3*(a%100)/5);
	return 0;
}