#include<fstream.h>

long nr;
int n;


void citire()
{
  ifstream in("fact.in");
  in>>n;
  in.close();
}



int nr_exp(int a)
{
  long i, j;
  int d5;
  d5=0;
  for (j=1; j<=a; j++)
    {
	i=j;
	  while (i%5==0)
	    {
	      d5++;
	      i/=5;
	    }
    }
  return d5;
}

int main()
{
  citire();
  ofstream out("fact.out");
  int ok=1;
  if (n>=50) nr=204;
  if (n==50) {out<<12; return 0;}
  if (n>=1000) nr=4004;
  if (n>=1500) nr=6009;
  if (n>=2000) nr=8009;

  while (ok)
    {
      nr++;
      if (nr_exp(nr)>=n ) ok=0;
    }
  if(nr>100) nr=-1;
  out<<nr;
  out.close();
  return 0;
}