let readInt () = stdin.ReadLine() |> int
let n = stdin.ReadLine() |> int
let ds = Array.zeroCreate n

for i in [ 0 .. n-1 ] do
    ds.[i] <- readInt ()

ds |> Seq.distinct |> Seq.length |> printfn "%d