#include<stdio.h>
FILE *in,*out;
int nr0,p;
int num,aux,aux2;
int main()
{
	in=fopen("fact.in","rt");
	out=fopen("fact.out","wt");
	fscanf(in,"%d",&p);
	
	if(p>0)
	{
		while(nr0<p)
		{
			num+=25;
			nr0+=6;
			aux=num;
			/*if(nr0<p)
			{
				while(aux%25==0)
				{
					nr0+=2;
					aux/=25;
				}
				while(aux%5==0)
				{
					nr0++;
					aux/=5;
				}
			}*/
			//else
			if(nr0>=p)
			{
				aux2=nr0-p-1;
				num-=5*aux2;
				nr0-=aux2+1;
			}
			
		}
		if(nr0==p)
			fprintf(out,"%d",num);
		else
			fprintf(out,"-1");
	}
	else
		fprintf(out,"1");
		
	return 0;
}