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

int main(){
    ios_base::sync_with_stdio(false);
    cin.tie(nullptr);

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