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

int main() {
    ll n;
    cin>>n;
    cout<<n*15/10<<endl;
    return 0;
}