let () = let n = read_line () |> float_of_string in Printf.printf "%.1f\n" (n *. 3.5)