// No.57 ミリオンダイス
// https://yukicoder.me/problems/no/57
//
#include <iostream>
#include <iomanip>
using namespace std;

int main() {
    std::cin.tie(nullptr);
    std::ios::sync_with_stdio(false);

    int N;
    cin >> N;
    cout << fixed << setprecision(1) << 3.5 * N << endl;
}