#include<stdio.h>
int main(){
int n,a,b,c,d,g;
scanf("%d",&n);
a = n / 2;
b = a / 2;
c = b +(n % 2);
d = c / 2;
g = n + a + b + d;
printf("%d",g);
return 0;
}