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

int main(){
  double N;cin>>N;
  cout<<fixed<<setprecision(5);
  cout<<N*3.5<<endl;
}