#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
nr=-1;
out<<nr;
in.close();
out.close();
return 0;
}