#include<stdio.h>

int main()
{
 FILE *f,*g;
 long p,p1;
	f=fopen("fact.in","r");
	g=fopen("fact.out","w");
	fscanf(f,"%ld",&p);
	if(p==0) {fprintf(g,"%d",1);return 0;}
	p1=p;
	while(p1>0) p1=p1-6;
	if(p1==-1) {fprintf(g,"%d",-1);return 0;}
	long  ps=p*5,d=0;
		while(ps>0)
			 {ps=ps-25; d++;}
	long n=p*5-5*(d-1);
	fprintf(g,"%ld",n);
	fclose(f);
	fclose(g);
	return 0;
}