Việt tình cờ tìm thấy một thiết bị thông minh trong phòng thí nghiệm HappyLab, trên đó có màn hình hiển thị số nguyên \((X\)). Mỗi chữ số được biểu diễn bằng cách cho sáng một số vạch trong 7 vạch (7 LED), tương tự như trên các đèn báo tín hiệu giao thông. Thiết bị này trông giống đồng hồ chỉ thời gian bằng giây. Việt biết rằng một sự kiện đặc biệt trình diễn các nghiên cứu và công nghệ mới sẽ diễn ra tại phòng thí nghiệm vào thời điểm nhỏ nhất lớn hơn \((X\)) có thể thu được bằng cách đổi chỗ một số vạch trong \((X\)).

Hình 1: Các chữ số được biểu diễn theo dạng 7 vạch (7 LED)

Scoring:

• 50% số điểm của bài tương ứng với các test có \((X \le 10^5\)).

Yêu cầu:

• Hãy viết chương trình tìm thời điểm diễn ra sự kiện đặc biệt.

Dữ liệu vào

• Một dòng duy nhất chứa số nguyên \((X\)) (\((0 \lt X \le 10^{10000}\))). Chữ số đầu tiên của \((X\)) luôn khác 0.

Dữ liệu ra

• Ghi ra thời điểm tìm được hoặc thông báo "NO SOLUTION" (không có ngoặc kép). Lưu ý là thời điểm tìm được (nếu có) phải có cùng số lượng chữ số với \((X\)).

Input 1

4598

Output 1

4600

Hình 2: Hình minh họa cho ví dụ