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

int main(){
	int N, C=206;
	scanf("%d", &N);
	if( N+((N*8)/100) > C) cout<<":("<<'\n';
	else if( N+((N*8)/100) == C) cout<<"so-so"<<'\n';
	else cout<<"Yay!"<<'\n';
	
}

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

int main()
{   
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	cout.tie(NULL);
	int n;
	cin>>n;
	long long int ans=1;
	for(long long int i=2;i<=n;i++)
	{
		ans=(ans*i)/(__gcd(ans,i));
	}
	cout<<ans+1<<endl;

}
