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

int main()
{
int a;
int iH;
int iM;

	cin >> a;

	a /= 10;
	iH = a / 10;
	iH += 10;
	iM = a % 10;
	iM *= 6;
	printf( "%02d:%02d\n", iH, iM );

	return 0;
}