Một số nguyên dương ~N~ gọi là song tố khi ~N~ là số nguyên tố và tổng các chữ số của nó cũng là số nguyên tố.

Yêu cầu: Hãy cho biết ~N~ có phải là số song tố hay không? Các số song tố bé hơn hoặc bằng ~N~?

Input

Số nguyên dương ~N~ ~(N \le 10^4)~.

Output

• Dòng thứ nhất cho biết ~N~ có phải là số song tố hay không (theo định dạng như ví dụ).

• Dòng thứ hai ghi các số song tố bé hơn hoặc bằng ~N~.

Sample Input 1

11

Sample Output 1

YES
2 3 5 7 11

Sample Input 2

6

Sample Output 2

NO
2 3 5