幸运排列

题目描述

Y 同学非常喜欢“幸运数字”。所谓幸运数字，是指在十进制表示下，仅由数字 $4$ 和 $7$ 构成的正整数（例如 $47, 744, 4$ 是幸运数字，而 $5, 17, 467$ 不是）。

现在，Y 同学希望构造一个由 $1$ 到 $N$ 这 $N$ 个正整数组成的排列 $A = (A_1, A_2, \dots, A_N)$，并且要求该排列是在所有可能的 $N$ 元素排列中，按字典序升序排列后第 $K$ 小的排列。

Y 同学想知道，在这个特定的排列 $A$ 中，有多少个下标 $i$ （$1 \le i \le N$）满足：下标 $i$ 本身是幸运数字，且该位置上的元素 $A_i$ 也是幸运数字。

请你编写程序帮助 Y 同学计算满足条件的下标个数。

输入格式

第一行包含两个整数 $N$ 和 $K$，分别表示排列中元素的个数以及要求的字典序编号。

输出格式

如果由 $1$ 到 $N$ 组成的排列总数严格小于 $K$（即字典序第 $K$ 小的排列不存在），请输出一行一个整数 -1。

否则，输出一行一个整数，表示满足 $i$ 和 $A_i$ 均为幸运数字的下标 $i$ 的个数。

样例

样例输入 #1

7 4

样例输出 #1

1

样例输入 #2

4 7

样例输出 #2

1

数据范围与约定

对于 $100\%$ 的数据，保证 $1 \le N, K \le 10^9$。