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

int main(){
	int64_t n; cin>>n;
	cout<<n*3/2<<"\n"s;
}