#include<fstream.h>
double long nr,z;
int i;
int main()
{
ifstream in("fact.in");
ofstream out("fact.out");
in>>z;
nr=-1;
if((z>=0)&&(z<=4)) nr=5*z;
if((z>=6)&&(z<=25)) nr=5*(z-1);
if((z>=28)&&(z<=127)) nr=5*(z-3);
if((z>=131)&&(z<=630)) nr=5*(z-6);
if((z>=635)&&(z<=3134)) nr=5*(z-10);
if((z>=3140)&&(z<=15639)) nr=5*(z-15);
if((z>=15646)&&(z<=78145)) nr=5*(z-21);
if((z>=78153)&&(z<=390652)) nr=5*(z-28);
if((z>=390661)&&(z<=1953160)) nr=5*(z-36);
if((z>=1953170)&&(z<=9765669)) nr=5*(z-45);
if((z>=9765680)&&(z<=48828180)) nr=5*(z-55);
out<<nr;
in.close();
out.close();
return 0;
}