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

}