Để 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

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^3)~.

Output

Một số nguyên duy nhất là kết quả của bài toán. Nếu không tồn tại mã lô hàng nào có giá trị là số nguyên tố thì ghi ra -1.

Scoring

Sample Input 1

fish123lobster97crab89

Sample Output 1

97

Sample Input 2

shrimp0246shel192

Sample Output 2

-1

Notes

• Ví dụ 1: Các đoạn con liên tiếp cực đại chỉ gồm chữ số là: ~123~; ~97~; ~89~. Trong đó: ~123~ không phải số nguyên tố; ~97, 89~ là số nguyên tố. Số nguyên tố lớn nhất là ~97~.

• Ví dụ 2: Các đoạn con liên tiếp cực đại chỉ gồm chữ số là: ~0246~; ~92~. Trong đó: ~246, 92~ không phải số nguyên tố.