Một số nguyên dương \(n\) được gọi là số nguyên tố đẹp nếu \(n\) là số nguyên tố và số đảo ngược của \(n\) ccũng là số nguyên tố.

Yêu cầu: Cho số nguyên dương \(n\). Cho biết số nguyên dương \(n\) được gọi là số nguyên tố đẹp hay không?

Input

• Gồm một dòng chứa số nguyên dương \(n(1≤n≤2*10^9 ).\)

Output

• Gồm một dòng chứa số nguyên dương \(n\) tiếp theo là dấu hai chấm \((:)\), tiếp theo là dấu cách, cuối cùng là \(YES\) nếu \(n\) là số nguyên tố đẹp, là \(NO\) nếu \(n\) không là số nguyên tố đẹp.

Sample Input

13

Sample Output

13: YES

Sample Input

23

Sample Output

23: NO