#include <fstream.h>

unsigned long p;
unsigned long long n, i, ii;

int main(){
	freopen("factorial.in", "r", stdin);
	freopen("factorial.out", "w", stdout);
	scanf("%ld", &p);
	if(p==0){
		printf("1");
		return 0;}
	for(i=5;n<p;i+=5){
		ii=i;
		while(ii%10==0){
			n++;
			ii/=10;}
		if(ii%25==0&&ii%75!=0)
			n++;
		if(ii%5==0)
			n++;}
	if(n==p)
		printf("%lld ", i-5);
	else
		printf("-1");
	return 0;
}