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 ≤ 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.

Input:

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

Output:

• 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\).

Example

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

Nguồn: Olympic 30/4 năm 2019.