#include<fstream.h>

int p;

int main()
{
	ifstream f("fact.in");
	ofstream g("fact.out");
	
	f>>p;
	long long cont=0;
	long long i=1,fact=1;
	long long pp=0;
	while( cont<=p && i<30000 )
	{
		pp=pow(10,p);
		if(fact%pp==0) {cont++;fact*=i;}
			else fact*=i;
			i++;
	}
		if(cont==p) g<<i;
			else g<<-1;
		f.close();
		g.close();
	

return 0;
}