#include <bits/stdc++.h>

using namespace std;

#define REP(i,a,b) for(int i=a;i<(int)b;i++)
#define rep(i,n) REP(i,0,n)

int main() {
  double N;cin>>N;printf("%.8f\n",N*3.5);
  return 0;
}