#include <iostream>
using namespace std;
int n;

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