#include<bits/stdc++.h>
using namespace std;

int main() {
	int64_t n; cin >> n;
	cout << n * 3 / 2 << '\n';
	return 0;
}