#include <stdio.h>
#include <stdlib.h>
int main(void){
	int i,j;
	char*z;
	z=malloc(50000000);
	for(i=0;i<50000000;z[i++]=0);
	for(i=0;++i<1600;)
		if(!z[i])
			for(j=-2*i*~i;j<5000000;j+=i-~i)z[j]=1;
	for(;scanf("%d",&i),i;)
		for(j=i-1>>1;i;j--)z[j]|z[j-1]|z[j-3]|z[j-4]||printf("%d\n",j*2+1,i=0);
	free(z);
	return 0;
}