2023년은 검은 토끼의 해

2023년은 검은 토끼의 해로 불린다. 스타는 검은 토끼의 해를 기념해서 흑묘 복권을 만들려고 한다.

흑묘 복권은 총 $N$개의 티켓으로 구성된다. 각 티켓에는 $1$ 이상 $N$ 이하의 정수인 시리얼 번호가 적혀 있으며, 서로 다른 티켓에는 서로 다른 시리얼 번호가 적혀 있다.

티켓 중에서 시리얼 번호가 네 자릿수 이상이고, 서로 다른 자리에서 네 개의 자릿수를 골라 나머지 자릿수를 지웠을 때 2023을 만들 수 있으면 해당 티켓은 당첨 티켓이다. 예를 들어 시리얼 번호가 2023이면 당첨이고, 1280423이면 당첨이고, 2200233이면 당첨이다. 반면 3480, 572, 2032이면 꽝이다.

흑묘 복권의 티켓 수 $N$이 주어진다. ($1 \leq N \leq 10\,000\,000$)

당첨 티켓 수를 출력한다.