#include <stdio.h>

int main() {
    char *inFileName = "fact.in";
    char *outFileName = "fact.out";
    FILE *in = fopen(inFileName, "r");
    if (in == NULL) {
        printf("Cannot open %s.\n", inFileName);
        return 1;
    }
    FILE *out = fopen(outFileName, "w");
    int p;
    fscanf(in, "%d", &p);
    if (p == 0) {
        fprintf(out, "%d", 1);
    } else {
        int count = 0;
        int current;
        for (current = 1; count < p; current++) {
            count++;
            if (current % 5 != 0) {
                continue;
            }
            int clone = current;
            do {
                clone /= 5;
                count++;
            } while (clone % 5 == 0);
        }
        if (count == p) {
            fprintf(out, "%d", (current - 1) * 5);
        } else {
            fprintf(out, "%d", -1);
        }
    }
    fclose(in);
    fclose(out);
    return 0;
}