SpaceX#10030

SpaceX

1 second
128 megabytes
Easy

Elon Musk plans to send his spaceships to different planets. To do this, he has spaceships. Initially, it is known where each ship will be sent. The planets are numbered from to 10^9. As SpaceX's chief space engineer, you are entitled to change the destination of any ship. For the minimum number of changes you need to make sure that all ships are sent to different planets.

Input

The first line contains two numbers  (1 \le n \le 10^5) and  (1 \le k \le n). Second line contains integers p_i (1 \le p_i \le 10^5) — the original ship destinations.

Output

Print the minimum number of changes.

Examples

Example 1

Loading
Loading

Example 2

Loading
Loading