#include <bits/stdc++.h>

using namespace std;

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

int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);

  int n;
  cin >> n;
  double ret = 3.5 * n;
  cout << fixed << setprecision(10) << ret << endl;
  
  return 0;
}