let calc n : uint64 = 2UL * ((n / 3UL) + (n / 5UL)) let main = let input = stdin.ReadLine() |> uint64 printfn "%d" (calc input)