Петя любит счастливые числа. Всем известно, что счастливыми являются положительные целые числа, в десятичной записи которых содержатся только счастливые цифры 4 и 7. Например, числа 47, 744, 4 являются счастливыми, а 5, 17, 467 — не являются.

Петя очень любит билеты. Как известно, каждый билет имеет свой номер, который является целым положительным числом длины n (n всегда четно). Петя называет билет счастливым, если его номер — счастливое число, и сумма цифр в первой половине (сумма первых n / 2 цифр) равна сумме цифр во второй половине (сумма последних n / 2 цифр). Проверьте, является ли заданный билет счастливым.