#include <bits/stdc++.h>
using namespace std;
int main() {
    // Input
    int N;
    cin >> N;

    // Output
    cout << fixed << setprecision(20);
    cout << 7.0 * N / 2.0 << endl;
}