Để quản lý hoạt động khai thác và nuôi trồng thủy sản, mỗi lô thủy sản được gắn một mã nhận dạng gồm các chữ cái in thường và các chữ số. Trong mã nhận dạng, mỗi đoạn con liên tiếp cực đại chỉ gồm các chữ số được xem là một mã lô hàng. Biết rằng mỗi mã lô hàng có độ dài không quá \(12\) chữ số. Giá trị của một mã lô hàng được hiểu là giá trị số nguyên của dãy chữ số tương ứng; các chữ số \(0\) ở đầu (nếu có) không làm thay đổi giá trị của mã lô hàng.

Yêu cầu: Hãy tìm mã lô hàng có giá trị là số nguyên tố lớn nhất xuất hiện trong mã nhận dạng.

Input

• Đọc từ tệp văn bản THUYSAN.INP gồm một dòng chứa xâu \(S\) chỉ gồm các chữ cái in thường (a-z) và các chữ số (0-9), \(1 \le |S| \le 10^5\).

Output

• Ghi ra tệp văn bản THUYSAN.OUT một số nguyên duy nhất là kết quả của bài toán. Nếu không tìm tại mã lô hàng nào có giá trị là số nguyên tố thì ghi ra \(-1\).

Example

fish123lobster97crab89

97

shrimp0246shell92

-1

Scoring

• Có \(50\%\) số điểm tương ứng \(50\%\) số test mà mỗi mã lô hàng có giá trị không vượt quá \(10^6\).
• Có \(50\%\) số điểm tương ứng \(50\%\) số test còn lại, không có ràng buộc gì thêm.