#include <fstream>

using namespace std;

ifstream f("factorial.in");
ofstream g("factorial.out");

int n,i,a[1000001],c_25;

/*void mul(int *a, int x)
{
    int t=0,i;
    for(i=1; i<=a[0] || t; ++i,t/=10)
        a[i]=(t+=a[i]*x)%10;
    a[0]=i-1;
}

void afis()
{
    for(int i=a[0]; i>=1; --i)
        g<<a[i];
    g<<'\n';
}*/
int main()
{
    f>>n;
    c_25=n/6;
    g<<n*5-c_25*5;
    return 0;
}