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

int main()
{

    long n;
    cin >> n;
    printf("%.f\n", n * 3.5);
    return 0;
}