#include<stdio.h>
#include<string.h>
#include<stdlib.h>
int main(void){
int n;
scanf("%d",&n);
n=(int)n*1.5;
printf("%d\n",n);

}