#include <bits/stdc++.h>

using namespace std;

int main(){
    cout << setprecision(10);
    long long n;  cin >> n;
    cout << 3.5*n << '\n';
    
    return 0;
}