#include <bits/stdc++.h> 

using namespace std;

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