function main(input) {
  let N = Number(input.shift());
  console.log(N*3.5);
}

main(require("fs").readFileSync("/dev/stdin", "utf8").trim().split("\n"));