#include <bits/stdc++.h>

int main() {
    unsigned long n;
    std::cin >> n;
    std::cout << std::setprecision(20) << n * 3.5 << std::endl;

    return 0;
}