#include<bits/stdc++.h>
using namespace std;
int main()
{
	int n;
	cin >> n;
	for(int i = 1; i <= 50000; i++){
		if((int)(i * 1.08)== n){
			printf("%d", i);
			return 0;
		}
	}
	printf(":(");
	return 0;
}