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

【输入格式】

一行，一个字符串，表示要判断的英文名，均为小写字母。

【输出格式】

一行，表示判断结果，如果输入的英文名是吉利且霸气的，则输出'Yes'，否则，输出'No'。

【输入样例 1】

mick

【输出样例 1】

Yes

【输入样例 2】

allen

【输出样例 2】

No