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

int main(){
  int N;
  cin >> N;
  if(N%2 == 0) cout << N*7/2 << endl;
  else cout << N*7/2 << ".5" << endl;
}