Chia hết cho 7

Một số nguyên dương \(X\) gồm \(n\) chữ số \(a_1a_2\ldots a_n\) (mỗi \(a_i\) là một chữ số) có trọng số được định nghĩa bởi:

Trong biểu diễn của \(X\), có đúng một chữ số bị mờ được kí hiệu 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\).

Nếu dấu ? ở vị trí đầu tiên thì chữ số thay vào không được là 0 (vì \(X\) là số nguyên dương và không có chữ số \(0\) vô nghĩa ở đầu).

Nếu không có chữ số nào thỏa mãn, hãy in ra \(-1\).

Input

Một dòng duy nhất chứa xâu \(X\) gồm các kí tự 0..9 và đúng một kí tự ?.
Độ dài của \(X\) không vượt quá \(100\).

Output

In ra một số nguyên:

• chữ số nhỏ nhất có thể thay vào dấu ? để \(S(X)\) chia hết cho \(7\), hoặc
• \(-1\) nếu không tồn tại.

Scoring

• Subtask 1 (30%): \(|X| \le 20\).
• Subtask 2 (70%): \(|X| \le 100\).