// yukicoder: 835 ジュース
// 2019.6.15 bal4u

#include <stdio.h>

int main()
{
	unsigned N;
	scanf("%d", &N);
	printf("%d\n", 3*N/2);
	return 0;
}