#include<stdio.h>

int main()
{
  FILE *f=fopen("in.in", "r");
  FILE *g=fopen("out.out", "w");
  while(!feof(f))
  {
    long p,q,i,j,h;
    fscanf(f, "%d", &p);
    i=5;
    h=0;
    if(p==0)
    {
    fprintf(g, "%d", 1);
    goto end;
    }
      q=p;
      while(q>9)
	{
	q=q-10;
	h++;
	}
      h*=40;
      i+=h;
      j=i;
      while(j!=1)
      {
      if(j%5==0) j=j/5;
      else break;
      }
      if(j==1){
      fprintf(g, "%d", -1);
      goto end;}
      while(p)
	{
	i=i+5;
	p--;
	}
      fprintf(g, "%d", i);
    }
  end:
  fclose(g);
  return 0;
}