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