import std;

void main() {
    int N;
    readf("%d\n", N);

    real EV = 3.5 * N;

    format("%f", EV).writeln;
}