#include <bits/stdc++.h>

using namespace std;

int main() {
  int n;
  cin >> n;
  cout << fixed << setprecision(15) << n * 3.5 << endl;
}