#include<bits/stdc++.h>
#define LL long long int
using namespace std;
int flg[10000002];
int main(void)
{		
	int i,j,k,n;
	for(i=2;i<=10000000;i++) flg[i]=1;
	for(i=2;i*i<=10000000;i++){
		if(flg[i]==1){
			for(j=2;j*i<10000000;j++) flg[i*j]=0;
		}
	}
	cin>>n;
	while(n!=0) {
		for(i=n;i>=13;i--) {
			if(flg[i]==1&&flg[i-2]==1&&flg[i-6]==1&&flg[i-8]==1) {
				cout<<i<<endl;
				break;
			}
		}
		cin>>n;
	}
	return 0;
}