#define w unsigned long
#include<fstream.h>
int nr(w n)
{
  w i=0;
  while(n%5==0)
    {
      i++;
      n/=5;
    }
  return i;
}
int main(void)
{
  w i=5,m=1,k,j=0;
  ifstream f("fact.in");
  ofstream g("fact.out");
  f>>k;
  if(k>0)
    {
      while(m<k)
	{
	  j++;
	  i+=5;
	  if(i%5==0)
	    m+=nr(j)+1;
	  else
	    m+=1;
	}
      if(m!=k)
	g<<-1;
      else
	g<<i;
    }
  else
    g<<1;
  g.close();
  return(0);
}