//
// Created by Ilie Danila on 26/09/2016.
//

#include <fstream>
#include <math.h>

using namespace std;

int p;

int main()
{
    ifstream fin("fact.in");
    fin >> p;
    fin.close();

    // Basically the result should be 5 * p;
    int result = 5 * p;

    // Now let's see how many zeros this (5*p)! actually has.

    // First let's find the biggest 5^x that divides (5*p)!
    int x = p / 5;

    // We know that 5^2 add 1 extra zero, 5^3 adds 2 extra zeros, 5^4 adds 3 and so on...
    // 5^1 adds 0 extra zeros
    int extraZeros = (x * (x + 1)) / 2;

    int tempSolution = p;

    while( tempSolution + extraZeros > p)
    {
        tempSolution--; // Basic number of zeros
        x = tempSolution / 5;
        extraZeros = (x * (x + 1)) / 2;
    }

    ofstream fout("fact.out");
    if (tempSolution + extraZeros == p)
    {
        fout << tempSolution * 5 << "\n";
    }
    else
        fout << "-1\n";

    fout.close();

    return 0;
}