#include <stdio.h>
int main(void){
	long double num = 0;
	scanf("%Lf",&num);
	
	num *= 1.5;
	
	printf("%d",(int)num / 1);
}