#include<fstream.h>
double long nr,z;
int i;
int main()
{
ifstream in("fact.in");
ofstream out("fact.out");
in>>z;
if(z==0) nr=0;
else
if((z>=1)&&(z<=4)) nr=5*z;
else
if((z>=6)&&(z<=25)) nr=5*(z-1);
else
if((z>=28)&&(z<=127)) nr=5*(z-3);
else
if((z>=131)&&(z<=630)) nr=5*(z-6);
else
if((z>=635)&&(z<=3134)) nr=5*(z-10);
else
if((z>=3140)&&(z<=15634)) nr=5*(z-15);
else
if((z>=15642)&&(z<=78142)) nr=5*(z-21);
else
if((z>=78150)&&(z<=390649)) nr=5*(z-28);
else
if((z>=390658)&&(z<=1953157)) nr=5*(z-36);
else
if((z>=1953167)&&(z<=9765667)) nr=5*(z-45);
else
if((z>=9765678)&&(z<=48828178)) nr=5*(z-55);
else
nr=-1;
out<<nr;
in.close();
out.close();
return 0;
}