A, 2, 3, 4, 5, 6, 7, 8, 9, T, J, Q, K の文字のみからなる文字列 $S$ が与えられます。$S$ の各文字をトランプのカードとみなすことで $S$ を $1$ つの正整数とみなすとき、これが素数かどうか判定してください。

より厳密には、$S$ に以下のような操作を順に施した後の文字列を $T$ とし、$T$ を $10$ 進数としてみたときにそれが素数かどうか判定してください。

• $S$ に含まれる A をすべて 1 に置換する
• $S$ に含まれる T をすべて 10 に置換する
• $S$ に含まれる J をすべて 11 に置換する
• $S$ に含まれる Q をすべて 12 に置換する
• $S$ に含まれる K をすべて 13 に置換する

• $S$ は A, 2, 3, 4, 5, 6, 7, 8, 9, T, J, Q, K のみからなる文字列である
• $S$ の長さは $1$ 以上 $6$ 以下である

入力は以下の形式で標準入力から与えられる。

$S$

$S$ を整数とみなしたとき、それが素数なら Yes、素数でないなら No を $1$ 行に出力せよ。