import std.stdio,
       std.conv,
       std.string,
       std.range,
       std.math,
       std.algorithm;

void main()
{
    auto N = readln.strip.to!int;

    (N * 3.5).writeln;
}