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 . 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.
The first line contains two numbers and . Second line contains integers — the original ship destinations.
Print the minimum number of changes.