Орися та Орест двійнята і сьогодні у них день народження. Мама спекла їм круглий торт і розрізала його на 16 рівних частин.

Орися хоче взяти собі ~A~ кусочків, а Орест - ~B~. Мама сказали, що вони можуть взяти будь-які кусочки, але кожен з них не може брати два кусочки, які розміщені поряд.

Чи зможуть діти взяти собі кусочки тортиків при таких умовах.

Формат вхідних даних

Вхідний потік містить цілі числа ~A, B~ ~(1 \le A,B \le 16, A+B \le 16)~, які розділяються пропуском.

Формат вихідних даних

У вихідний потік вивести ~:)~, якщо діти зможуть взяти собі кусочки тортиків при таких умовах або ~:(~ у випадку, коли це неможливо зробити.

Приклад вхідних даних

5 4

Приклад вихідних даних

:)

До прикладу вхідних даних:

Один із варіантів поділу: Орися візьме червоні кусочки, а Орест - сині.