#include<stdio.h>

int main()
{
    FILE *in, *out;
    int N=1, P, c2=0, c5=0, i;
    in=fopen("fact.in", "r");
    out=fopen("fact.out", "w");
    
    fscanf(in, "%d", &P);
    
    while (c5<P)
        {   
            i=N;
            while (i%2==0) 
            {
                i/=2; c2++;
            }
            while (i%5==0)
            {
                i/=5; c5++;
            }
            N++;
        }
    if(!c5) fprintf(out, "%d", -1);
    else fprintf(out, "%d", N-1);
    return 0;
}