let n = stdin.ReadLine() |> int
let players = stdin.ReadLine().Split() |> Array.map int
stdout.Write (
players |> Seq.countBy id |> Seq.sumBy (fun x -> min (snd x) 2)
)
bGV0IG4gPSBzdGRpbi5SZWFkTGluZSgpIHw+IGludApsZXQgcGxheWVycyA9IHN0ZGluLlJlYWRMaW5lKCkuU3BsaXQoKSB8PiBBcnJheS5tYXAgaW50CnN0ZG91dC5Xcml0ZSAoCiAgICBwbGF5ZXJzIHw+IFNlcS5jb3VudEJ5IGlkIHw+IFNlcS5zdW1CeSAoZnVuIHggLT4gbWluIChzbmQgeCkgMikKKQ==