#include<iostream>
using namespace std;
int main(){
  int n;
  cin>>n;
  int ans=100000;
  for(int i=0;i<50000;i++){
    int j=i*1.08;
    if(j==n)ans=i;
  }
  if(ans==100000)cout<<":("<<endl;
  else cout<<ans<<endl;
}