7, 2, 0으로 이루어진 수

자연수 $n$이 주어질 때, 다음 조건을 모두 만족하는 가장 작은 수 $s$를 출력하는 프로그램을 작성하시오.

• $s \ge n$이다.
• $s$를 10진법으로 나타내면 숫자 7, 2, 0만으로 이루어지며, 0으로 시작하지 않는다.
• $s$의 10진법 표현은 최대 20자리이다.
• $s$를 $n$으로 나눈 나머지는 0이다.

자연수 $n$ ($0 < n < 500000$)이 한 줄에 주어진다.

위 조건을 만족하는 수 $s$를 출력한다. 주어진 $n$에 대해 조건을 만족하는 $s$가 존재하지 않으면 NAV를 출력한다.