import strutils
let
  n: int = stdin.readline.parseInt
  ans: float = 3.5 * n.float
echo ans