let ``No.311 z in FizzBuzzString``() =
  stdin.ReadLine()
  |> decimal
  |> fun n -> System.Math.Truncate(n/3m) * 2m + System.Math.Truncate(n/5m) * 2m
    |> stdout.WriteLine
``No.311 z in FizzBuzzString``()