Elon Musk plans to send his spaceships to k different planets. To do this, he has n spaceships. Initially, it is known where each ship will be sent. The planets are numbered from 1 to 109. 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 k different planets.
The first line contains two numbers n (1≤n≤105) and k (1≤k≤n). Second line contains n integers pi (1≤pi≤105) — the original ship destinations.
Print the minimum number of changes.