#include<iostream>

using namespace std;

int main(int argv, char* args[])
{
    int n;
    cin >> n;
    cout << static_cast<int>(n * 1.5 / 1) << endl;
    return 0;
}