#include<stdio.h>
int main()
{
    int n;
    double sum;
    scanf("%d",&n);
    sum=(double)n*1.5;
    if(n%2==0){
        printf("%.0d\n",sum);
    }else{
        printf("%.0d\n",sum-0.5);
    }
    return 0;
}