#include <stdio.h>

int main(void)
{
	unsigned long n;

	scanf("%lu", &n);
	
	printf("%lu\n", n * 3 / 2);

	return 0;
}