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

/////////////////// メイン ///////////////////

int main () {
  
  //////////////////// 入力 ////////////////////

  int n;
  cin >> n;

  //////////////// 出力変数定義 ////////////////

  double result = 0;

  //////////////////// 処理 ////////////////////

  result = 3.5*n;

  //////////////////// 出力 ////////////////////

  cout << fixed << setprecision(10) <<  result << endl;

  //////////////////// 終了 ////////////////////

  return 0;

}