#include <bits/stdc++.h>

using namespace std;

int main()
{
    int n; cin >> n;
    printf("%f\n", 3.5*n);
}