print((function (n) return n*3.5 end)(io.stdin:read("*n")))