#include<stdio.h>
int main()
{long unsigned i,k,p,a=100,r=1;
FILE *f=fopen("fact.in","r");
FILE *g=fopen("fact.out","w");
fscanf (f,"%ld",&p);
if (p==0) fprintf(g,"1");
else {i=0;k=0;
		while (k<p)
			{i=i+5;
			if (i%10==0) k=k+r;
			else k++;
			if (i>=a) {a=a*10; r++;}
			if (i%100==50)k++;     }
		if (k==p)fprintf(g,"%ld",i);
		else if (k-1==p) fprintf(g,"%ld",i-5);
				else fprintf(g,"-1");}
fclose(f);
fclose(g);
return 0;}