#include <stdio.h>

void main(void){
	double count = 0;
	scanf("%le",&count);
	printf("%0.f",count*1.5);
}