let () =
  let n = read_int () in
  Printf.printf "%d\n" (n / 5 * 2 + n / 3 * 2)