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

int main(){
    int N;
    double ret;

    cin >> N;
    ret = 3.5*N;

    cout << ret << endl;

    return 0;
}