Щасливий номер

Limits: 2 sec., 256 MiB

КА-ТА-СТРО-ФА!! Зеник підготував призи для переможців Lucky Numbers Contest 2021, аж тут виявилося, що їх номери зі складу НЕ Є ЩАСЛИВИМИ!

Нагадаємо вам, що число є щасливим тоді й тільки тоді, коли всі його цифри є щасливими. А як ми всі знаємо, існують лише дві щасливі цифри: 4 та 7. Наприклад, числа 4, 777, 4474474 — щасливі, а числа 8, 153, 4741 — ні.

Зеник придумав, як вирішити свою проблему. Він просто замалює певні цифри з номера, щоб отримане число було щасливим. Якщо в нього буде декілька способів отримати щасливе число — він намагатиметься отримати число з якомога більшим значенням.

Для того, щоб Зенику було простіше — допоможіть йому дізнатися, яке число утвориться, застосовуючи алгоритм Зеника. Якщо ж отримати щасливе число не виходить — виведіть \(\texttt{No luck}\).

Input

Єдиний рядок містить ціле число \(n\) — номер подарунка зі складу.

Output

Виведіть число, яке утвориться після всіх махінацій Зеника, або рядок \(\texttt{No luck}\), якщо отримати щасливе число не вийде.

Constraints

\(1 \le n \le 10^9\).

Samples

Input (stdin) сopy	Output (stdout) сopy
17234475	7447

Input (stdin) сopy	Output (stdout) сopy
812358	No luck