100 atcoder#ABC100A. [ABC100A] Happy Birthday!

[ABC100A] Happy Birthday!

Score: 100100 points

Problem Statement

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

E869120 and square1001 were just about to eat AA and BB 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?

Constraints

  • AA and BB are integers between 11 and 1616 (inclusive).
  • A+BA+B is at most 1616.

Input

Input is given from Standard Input in the following format:

AA BB

Output

If both E869120 and square1001 can obey the instruction in the note and take desired numbers of pieces of cake, print Yay!; otherwise, print :(.

5 4
Yay!

Both of them can take desired number of pieces as follows:

8 8
Yay!

Both of them can take desired number of pieces as follows:

11 4
:(

In this case, there is no way for them to take desired number of pieces, unfortunately.