Nam rất yêu thích các con số, đặc biệt là số nguyên tố. Một lần, trong giờ học Nam nhận được câu hỏi của thầy như sau: Số đặc biệt là một số nguyên dương mà có tổng các chữ số là một số nguyên tố. Cho số nguyên dương ~N~. Hãy kiểm tra xem ~N~ có phải là số đặc biệt hay không?

Yêu cầu

Hãy lập trình giúp Nam giải bài toán trên.

Dữ liệu đầu vào

Gồm một dòng ghi số nguyên dương ~N~ ~(0 < N \le 10^{255})~.

Dữ liệu đầu ra

Gồm một dòng gồm:

• Thông báo: YES nếu ~N~ là số đặc biệt.
• Thông báo: NO trong trường hợp ngược lại.

Ràng buộc dữ liệu

• 50% test tương ứng 50% số điểm có ~(0 < N \le 10^9)~.
• 40% test tương ứng 40% số điểm có ~(10^9 < N \le 10^{18})~.
• 10% test tương ứng 10% số điểm có ~(10^{18} < N \le 10^{255})~.

Ví dụ

Ví dụ 1

INPUT

23

OUTPUT

YES

Giải thích: ~23~ có ~2 + 3 = 5~ (~5~ là số nguyên tố).

Ví dụ 2

INPUT

17

OUTPUT

NO

Giải thích: ~17~ có ~1 + 7 = 8~ (~8~ không là số nguyên tố).