#include <iostream>
using namespace std;

int main() {
    int n;
    cin >> n;
    cout << 3.5 * n << endl;
    return 0;
}