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

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

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

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

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

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

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

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

5 4

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

:)

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

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