import std.stdio;

void main() {
    double n; readf("%s\n", &n);
    writef("%.2f\n", (n*7)/2);
}