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

#define int long long

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