#include <bits/stdc++.h>
#define rep(i,n) for(int i=0; i<(n); i++)
using namespace std;
typedef long long ll;

int main(){
	int n; cin>>n;
	ll ans=n*1.5*10;
	ans/=10;
	cout << ans << endl;	
}