#include <stdio.h>

int main()
{
    FILE *f,*g;
    f = fopen("factorial.in","r");
    g = fopen("factorial.out","w");
    int n,j,k;
    fscanf(f,"%d",n);
    j = 5*n;
    k = n/2;
    j = j + k;  
    fprintf(g,"%d",j);
    fclose(f);
    fclose(g);
    return 0;
}