#include<bits/stdc++.h>
#define f1(i, n) for(ll i=1;i<=n;++i)
#define f0(i, n) for(ll i=0;i<n;++i)
#define ull unsigned long long
#define ll long long
#define rev(a) reverse(a.begin(),a.end())
#define all(x) x.begin(),x.end()
#define so(A, n) sort(A+1, A+n+1)
using namespace std;
const int maxn = 200010;
const int N = 5e6;
int D[N + 1];
void Sieve() {
D[0] = D[1] = 1;
int k = sqrt(N);
for (int i = 1; i <= k; ++i) {
if (D[i] == 0) {
for (int j = i; j <= N / i; ++j) {
D[i * j] = 1;
}
}
}
}
int main()
{
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
Sieve();
string s;
cin >> s;
int j = 0;
vector<string> v;
while (j < s.size()) {
if (s[j] >= '0' && s[j] <= '9') {
string motcaigiday = "";
while (s[j] >= '0' && s[j] <= '9' && j < s.size()) {
motcaigiday += s[j];
++j;
}
v.push_back(motcaigiday);
}
++j;
}
int ma = 0;
for (int it = 0; it < v.size(); ++it) {
for (int i = 0; i < v[it].size(); ++i) {
for (int j = i; j < v[it].size(); ++j) {
if (j - i + 1 > 6) break;
string num = v[it].substr(i, j - i + 1);
int n = stoll(num);
if (n > 5e6) break;
if (D[n] == 0) {
ma = max(ma, n);
}
}
}
}
cout << ma;
return 0;
}
I2luY2x1ZGU8Yml0cy9zdGRjKysuaD4KI2RlZmluZSBmMShpLCBuKSBmb3IobGwgaT0xO2k8PW47KytpKQojZGVmaW5lIGYwKGksIG4pIGZvcihsbCBpPTA7aTxuOysraSkKI2RlZmluZSB1bGwgdW5zaWduZWQgbG9uZyBsb25nCiNkZWZpbmUgbGwgbG9uZyBsb25nCiNkZWZpbmUgcmV2KGEpIHJldmVyc2UoYS5iZWdpbigpLGEuZW5kKCkpCiNkZWZpbmUgYWxsKHgpIHguYmVnaW4oKSx4LmVuZCgpCiNkZWZpbmUgc28oQSwgbikgc29ydChBKzEsIEErbisxKQp1c2luZyBuYW1lc3BhY2Ugc3RkOwpjb25zdCBpbnQgbWF4biA9IDIwMDAxMDsKY29uc3QgaW50IE4gPSA1ZTY7CmludCBEW04gKyAxXTsKdm9pZCBTaWV2ZSgpIHsKCURbMF0gPSBEWzFdID0gMTsKCWludCBrID0gc3FydChOKTsKCWZvciAoaW50IGkgPSAxOyBpIDw9IGs7ICsraSkgewoJCWlmIChEW2ldID09IDApIHsKCQkJZm9yIChpbnQgaiA9IGk7IGogPD0gTiAvIGk7ICsraikgewoJCQkJRFtpICogal0gPSAxOwoJCQl9CgkJfQoJfQp9CgppbnQgbWFpbigpCnsKCWlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7IGNpbi50aWUoMCk7IGNvdXQudGllKDApOwoJU2lldmUoKTsKCXN0cmluZyBzOwoJY2luID4+IHM7CglpbnQgaiA9IDA7Cgl2ZWN0b3I8c3RyaW5nPiB2OwoJd2hpbGUgKGogPCBzLnNpemUoKSkgewoJCWlmIChzW2pdID49ICcwJyAmJiBzW2pdIDw9ICc5JykgewoJCQlzdHJpbmcgbW90Y2FpZ2lkYXkgPSAiIjsKCQkJd2hpbGUgKHNbal0gPj0gJzAnICYmIHNbal0gPD0gJzknICYmIGogPCBzLnNpemUoKSkgewoJCQkJbW90Y2FpZ2lkYXkgKz0gc1tqXTsKCQkJCSsrajsKCQkJfQoJCQl2LnB1c2hfYmFjayhtb3RjYWlnaWRheSk7CgkJfQoJCSsrajsKCX0KCWludCBtYSA9IDA7Cglmb3IgKGludCBpdCA9IDA7IGl0IDwgdi5zaXplKCk7ICsraXQpIHsKCQlmb3IgKGludCBpID0gMDsgaSA8IHZbaXRdLnNpemUoKTsgKytpKSB7CgkJCWZvciAoaW50IGogPSBpOyBqIDwgdltpdF0uc2l6ZSgpOyArK2opIHsKCQkJCWlmIChqIC0gaSArIDEgPiA2KSBicmVhazsKCQkJCXN0cmluZyBudW0gPSB2W2l0XS5zdWJzdHIoaSwgaiAtIGkgKyAxKTsKCQkJCWludCBuID0gc3RvbGwobnVtKTsKCQkJCWlmIChuID4gNWU2KSBicmVhazsKCQkJCWlmIChEW25dID09IDApIHsKCQkJCQltYSA9IG1heChtYSwgbik7CgkJCQl9CgkJCX0KCQl9Cgl9Cgljb3V0IDw8IG1hOwoJcmV0dXJuIDA7Cn0KCg==