#include <iostream>
#include <cstdio>

using namespace std;

int main()
{
    int N;
    cin >> N;
    printf("%.15f\n", 3.5 * N);
    return 0;
}