1630: 字母积分

Memory Limit:128 MB Time Limit:1.000 S
Judge Style:Text Compare Creator:
Submit:24 Solved:16

Description

     每个字母都有自己的积分:它在字母表是第几个它的积分就是几,比如:a 的积分是 1,z 的积分是 26。一个字符串的积分为所有字符的积分之和。我们知道中国人觉得特别喜欢 6 和 9,觉得 6 是一个幸运数字,而 9 则是一个霸气的数字,毕竟九五至尊嘛~若一个字符串的积分既是 6 的倍数,又是 9 的倍数,则此字符串则为吉利又霸气的字符串。现在给 你一个英文名,请你来判断这个英文名是不是吉利又霸气,如果是的,请输出'Yes',否 则,请输出'No'。

Input

输入一行字符串

Output

如果字符串的字母积分既是6的倍数又是9的倍数,输出Yes,否则,输出No

Sample Input Copy

mick

Sample Output Copy

Yes

HINT

【样例输入2】

allen

【样例输出2】

No