#include <bits/stdc++.h>

int main()
{
	int64_t N;
	scanf("%lld", &N);
	printf("%lld\n", N * 3 / 2);

	return 0;
}