#define _GLIBCXX_DEBUG
#define ll long long
#include <bits/stdc++.h>
using namespace std;
using Graph = vector<vector<int>>;

int main(){
  int N; cin >> N;
  double ans = N*3.5;
  cout << setprecision(15) << ans << endl;
}