튤립

바이트랜드에는 15,000종의 튤립이 알려져 있으며, 각 종에는 1 이상 15,000 이하의 카탈로그 번호가 하나씩 매겨져 있다. 바이트아사르는 오랫동안 자신만의 튤립 색인을 관리해 왔다.

바이트 식물원의 이사회는 정원에 있는 모든 종류의 튤립을 한자리에 모으면 식물원의 인기가 크게 높아질 것이라고 생각한다. 그래서 아직 정원에 없는 튤립이 몇 종류인지 알고자 한다.

정원의 각 화단에서 자라는 튤립의 종류는 이미 파악되어 있다. 이사회가 모든 종류의 튤립을 갖추기 위해 새로 사야 하는 튤립이 몇 종류인지 구하여라.

첫째 줄에 정원에 있는 화단의 수 $n$ ($1 \le n \le 20000$)이 주어진다. 둘째 줄에는 각 화단에서 자라는 튤립의 카탈로그 번호를 나타내는 $n$개의 정수가 주어지며, 각 정수는 $[1, 15000]$ 범위에 속한다.

이사회가 모든 종류의 튤립을 갖추기 위해 사야 하는 튤립 종류의 수를 한 줄에 정수 하나로 출력한다.