Nhập vào một số nguyên dương ~n~. Kiểm tra xem ~n~ có phải là số Chen hay không.

Điều kiện

• Một số ~n~ được gọi là số Chen nếu:
  
  1. ~n~ là số nguyên tố.
  2. ~n+2~ cũng là số nguyên tố.

Input

• Một số nguyên dương ~n~ (~0 < n < 10^9~).

Output

• Yes nếu ~n~ là số Chen.
• No nếu ~n~ không phải là số Chen.

Ví dụ

Input 1

17

Output 1

Yes

Input 2

13

Output 2

No

📌📌 Link thảo luận trên Facebook tại đây