#include<iostream>
#include<vector>
#define MAX 10000000
using namespace std;
int main(){
	int n;
	vector<char> a;
	vector<int> box;
	for(int i=0;i<=MAX;i++)
		a.push_back('1');
	a[0]='0';
	a[1]='0';
	for(int i=2;i<=MAX;i++)
	if(a[i]=='1'){
		if(i>=13&&(a[i]=='1'&&a[i-2]=='1'&&a[i-6]=='1'&&a[i-8]=='1')){
		box.push_back(i);
		}
		for(int j=i*2;j<=MAX;j+=i)
		a[j]='0';
	}
	while(cin>>n,n){
		int i;
		for(i=0;i<(int)box.size()&&box[i]<=n;i++);
		cout<<box[i-1]<<endl;
	}
	return 0;
}