Một số nguyên dương ~X~ gồm ~n~ chữ số, viết dạng ~\overline{a_1 a_2 \dots a_n}~, có trọng số ~S(X)~ được tính theo công thức:

$$ S(X) = 1 \times a_1 + 2 \times a_2 + 3 \times a_3 + \dots + n \times a_n $$

Ví dụ, ~X = 2025~ có trọng số là ~S(2025) = 1 \times 2 + 2 \times 0 + 3 \times 2 + 4 \times 5 = 28~.

Yêu cầu: Cho một số nguyên dương trong đó có đúng một chữ số bị mờ, được biểu diễn bằng dấu ?. Hãy tìm chữ số nhỏ nhất trong các chữ số từ 0 đến 9 để thay vào vị trí dấu ? sao cho ~S(X)~ chia hết cho 7.

Dữ liệu

Gồm một dòng chứa số nguyên dương ~X~ (~X < 10^{100}~) trong đó có đúng một chữ số bị mờ, biểu diễn bằng dấu ?. Số ~X~ không chứa chữ số 0 vô nghĩa ở đầu.

Kết quả

In ra một chữ số nhỏ nhất có thể thay vào dấu ?. Nếu không tồn tại chữ số nào thỏa mãn thì in ra -1. Chữ số thay vào cũng không được là 0 vô nghĩa ở đầu (tức nếu dấu ? đứng đầu thì chỉ được thử các chữ số từ 1 đến 9).

Ví dụ

Ví dụ 1

BAI1.INP

202?

BAI1.OUT

5

Giải thích: Số 2025 có ~S(2025) = 28~ chia hết cho 7.

Ví dụ 2

BAI1.INP

?7

BAI1.OUT

7

Giải thích: Vì dấu ? đứng đầu không thể thay bằng chữ số 0, nên ~X = 77~ có ~S(77) = 21~ chia hết cho 7.

Ví dụ 3

BAI1.INP

800000?

BAI1.OUT

-1

Giải thích: Không có chữ số nào thay thế dấu ? thỏa mãn ~S(X)~ chia hết cho 7.