题目描述

E869120's and square1001's $16$-th birthday is coming soon.
Takahashi from AtCoder Kingdom gave them a round cake cut into $16$ equal fan-shaped pieces.

E869120 and square1001 were just about to eat $A$ and $B$ of those pieces, respectively,
when they found a note attached to the cake saying that "the same person should not take two adjacent pieces of cake".

Can both of them obey the instruction in the note and take desired numbers of pieces of cake?

E869120 和 square1001 的 $16$ （生日）快到了。
AtCoder Kingdom 的高桥给他们送了一个圆形蛋糕，切成了 $16$ 等份的扇形块。

E869120 和 square1001 正准备分别吃掉其中的 $A$ 块和 $B$ 块、这时，他们发现蛋糕上附有一张纸条，上面写着 "同一个人不能吃相邻的两块蛋糕"。

这两个人都能遵守纸条上的指示，吃到所需数量的蛋糕吗？

输入格式

输入内容按以下格式标准输入：

$A$ $B$

输出格式

如果 E869120 和 square1001 都能遵守注释中的指令，并取出所需数量的蛋糕，则打印 Yay!；否则，打印 :(。

样例 #1

样例输入 #1

5 4

样例输出 #1

Yay!

样例 #2

样例输入 #2

8 8

样例输出 #2

Yay!

样例 #3

样例输入 #3

11 4

样例输出 #3

:(

说明

数据规模与约定

• $A$ 和 $B$ 是介于 $1$ 和 $16$ 之间的整数。(包括在内）之间的整数。
• $A+B$ 最多为 $16$ 。

样例 $1$ 解释

这两种方法都可以获取所需的棋子数量，如下所示：

样例 $2$ 解释

这两种方法都可以获取所需的棋子数量，如下所示：

样例 $3$ 解释

遗憾的是，在这种情况下，他们无法获取所需的棋子数量。