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

int main() {
    double n;
    cin >> n;
    cout << setprecision(17) << 3.5 * n << endl;
}