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

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