#include <iostream>
#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <algorithm>
#define LL long long
#define DD double
using namespace std;
const int pri[10] = {2, 3, 5, 7, 11, 13, 17, 19, 23, 29};
int main() {
	int n;
	scanf("%d", &n);
	LL ans = 1;
	for (int i = 0; i < 10 && pri[i] <= n; i++) {
		int xans = pri[i];
		while (xans * pri[i] <= n) xans *= pri[i];
		ans *= xans;
	}
	printf("%lld", ans + 1);
	return 0;
}

#include <bits/stdc++.h>
using namespace std;
int main()
{
  int a;
  cin>>a;
  a=a*1.08;
 // cout<<a<<" ";
  if(a<206)
   cout<<"Yay!";
  else if(a==206)
    cout<<"so-so";
  else
    cout<<":(";
 return 0; 
}