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

#define REP(i, n) for(int i=0; i<(n); i++)

int N;
signed main()
{
    cin >> N;
    printf("%.f\n", 3.5 * N);
    return 0;
}