#include<iostream>

using namespace std;

int main() {
  int N;
  cin >> N;

  cout << fixed << (3.5 * N) << endl;
}